Wegen y > x {\displaystyle {}y>x} ist y − x > 0 {\displaystyle {}y-x>0} und daher gibt es nach Fakt ein k ∈ N {\displaystyle {}k\in \mathbb {N} } mit 1 k < y − x {\displaystyle {}{\frac {1}{k}}<y-x} . Nach Fakt gibt es auch ein n ∈ N {\displaystyle {}n\in \mathbb {N} } mit
und ein n ′ ∈ Z − {\displaystyle {}n'\in \mathbb {Z} _{-}} mit
Daher gibt es auch ein n ∈ Z {\displaystyle {}n\in \mathbb {Z} } derart, dass
ist. Damit ist einerseits
und andererseits