Es ist x − 1 {\displaystyle {}x^{-1}} eine nach Fakt (1) positive Zahl und daher gibt es eine natürliche Zahl n ∈ N {\displaystyle {}n\in \mathbb {N} } mit n ≥ x − 1 > 0 {\displaystyle {}n\geq x^{-1}>0} . Dies ist nach Fakt (4) äquivalent zu