Quadratischer Zahlbereich/Reell/Fundamentaleinheit/Größer 1/Erste Komponente minimal/Fakt/Beweis

Beweis

Nach Fakt gibt es eine Fundamentaleinheit , und diese ist unter den Einheiten oberhalb von minimal. Es sei eine weitere solche Einheit . Dann ist diese von der Form

mit . Bei folgt daraus sofort, dass , und bei kommt wegen Fakt nach Fakt nur in Frage, was überhaupt (unabhängig von der Einheitenbedingung) das Minimum für die erste Komponente ist.