Rationale Zahlen/Elementar/Angeordneter Körper/Fakt/Beweis

Beweis

Dass eine totale Ordnung vorliegt wird in Aufgabe gezeigt. Es sei , und mit positiven Nennern . Durch Übergang zu einem gemeinsamen Hauptnenner können wir direkt annehmen. Sei

also

Dann ist nach Fakt  (2) auch

und somit ist

Wenn die beiden Brüche und beide sind, so sind alle Zähler und Nenner aus und dies überträgt sich auf , also ist auch dies .