Problem 111 (difficulty: 4/10)
Using the field and ordering axioms prove that \(\displaystyle \forall a\in\R ~ a^2 \ge 0\).