Beweis
Nach
Fakt
ist ein kommutativer Ring und nach
Fakt
ist eine totale Ordnung. Wir müssen also lediglich noch die Verträglichkeit der Ordnung mit der Addition und der Multiplikation überprüfen. Sei
-
also
,
und beliebig. Dann ist auch
-
also
-
Wenn
und
ist, so ist
und
.
Mit
Aufgabe
ergibt sich
-
was
-
bedeutet.