Prove algebraically: if a+b=0a + b = 0a+b=0, then b=−ab = -ab=−a. Which axioms are used?
Additive inverse and commutativity only
Additive identity, existence of additive inverse, and associativity
Multiplicative identity and distributive law
Only the additive identity axiom