Satz 2.1 Für alle a,b,c,d ∈ IR gilt:
(1) - (-a) = a, - 0 = 0, (-1) ⋅ a = -a.
(2) a 1 = a.
(3) 1 1 a = a, falls a≠0.
(4) a b = c d ⇔ ad = bc, falls b,d≠0.