Proposition 1.8.1.21.  Let n ∈ . Then:
Proof.  We show that ∃ x ∈ + : n + x = n + 1:
Take x:= 1.
References.