Prove from the field axioms that the additive identity, 0, has no multiplicative inverse.
Proof. The proof is by contradiction. Suppose otherwise, that there is some




since equality is transitive. However, this contradicts field Axiom 4 that and
must be distinct elements
What’s axiom 4