Tétel:
x+z=0 ∧ w+z=0 ⇒ x=w=-z
Bizonyítás:
x+z=0 ∧ w+z=0 ⇒x+z+(-z)=-z ∧ w+z+(-z)=-z ⇒ x+(z+(-z))=-z ∧ w+(z+(-z))=-z⇒x+0=-z ∧ w+0=-z ⇒ x=-z ∧ w=-z ⇒ x=w=-z
Tétel:
x+z=0 ∧ w+z=0 ⇒ x=w=-z
Bizonyítás:
x+z=0 ∧ w+z=0 ⇒x+z+(-z)=-z ∧ w+z+(-z)=-z ⇒ x+(z+(-z))=-z ∧ w+(z+(-z))=-z⇒x+0=-z ∧ w+0=-z ⇒ x=-z ∧ w=-z ⇒ x=w=-z