Angeordneter Körper/x größer y gdw Quotient größer 1/Aufgabe/Lösung


Wegen ist nach Aufgabe

auch . Aus folgt daher durch Multiplikation mit die Beziehung . Wenn umgekehrt gilt, so folgt durch Multiplikation mit die Beziehung .