Ungleichungen I

Seien $x,y \in \realnum$. Zeige die folgenden Ungleichungen. Gib explizit an, welche Axiome, als (MM) und (MA), du nutzt, oder welche (bereits bewiesenen) Folgerungen aus Satz 6.6 angewendet werden.
(1) Falls $x \leq 0$ und $y \leq 0$, so $0 \leq xy$.
(2) Falls $x \leq 0$ und $0 \leq y$, so $xy \leq 0$.
(3) Falls $0 \leq x$ und $y \leq 0$, so $xy \leq 0$. Hinweis: Hier kann man (2) verwenden.
(4) $0 \leq x^2$.