- Das Nullelement ergibt sich für
,
wegen
-

ist
unter der Addition abgeschlossen und wegen
-

gehören auch die Negativen dazu.
- Nehmen wir
-

mit einem
an. Dann ist einerseits
-

mit gewissen
und andererseits
-

mit einem
,
.
Daraus folgt
-

Aus der Irrationalität von
ergibt sich
-

also
-

Dann ist
-

also
-

Dann wäre
-

mit einem
was wegen der Irrationalität von
nicht möglich ist.
- Nehmen wir an, es sei
das minimale positive Element aus
. Wir behaupten, dass dann
-

wäre, was nach Teil (2) nicht sein kann. Es sei also
-

positiv
(bei
negativ geht man zum Negativen davon über).
Dann ist nach Voraussetzung
-

Wir betrachten
bis wir zu einem
mit
-

angelangen. Wegen
muss
-

sein, also
.