Proposition 2.16 (Idempotent lemma). There exists $U\in \beta \mathbb{N}$ such that $U=U+U$.