Die Antwort steht ja im Kommentar, allerdings wird dort benutzt:
a2 ≥ 0 für alle a ∈ ℝ.
Das kannst du aber leicht aus den Körper- bzw- Anordnungsaxiomen herleiten,
etwa so:
Sei a ≥ 0 . Da multipliziere die Ungl. auf beiden Seiten mit a.
und du hast a2 ≥ 0 .
Ist anderenfalls a < 0 , dann wird ja beim Multiplizieren mit a das Zeichen gedreht
und du hast auch in diesem Fall a2 > 0