Beweis.
( 3.9) Für jedes Element x ≠ 0 ist x2 > 0, insbesondere gilt 1 > 0.
(O.3) x > 0 und y > 0 ⇒ xy > 0.
Beweis.
Da x−2 > 0 nach (3.9), ergibt sich die Implikation ‘⇒’ durch Multiplikation von x mit x−2 aus Axiom (O.3). Die Umkehrung ‘⇐’ folgt aus ‘⇒’,angewendet auf x−1, da (x−1)−1 = x.
Aber es ist nicht klar für mich. Könnten Sie es in anderen Worten schreiben, bitte?