Angeordneter Körper/Wurzel/Maximal eine positive/Fakt/Beweis
Beweis
Dies folgt aus Fakt (1). Wenn ist, so ist auch und somit können nicht beide gleich sein.
Dies folgt aus Fakt (1). Wenn ist, so ist auch und somit können nicht beide gleich sein.