PROOF 81
(−a)b = −(ab)
On the integers ℤ.
Definition D1
−a denotes the x satisfying a + x = 0.
Proof.
Related labs