- 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 .