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 such that (this is the definition of multiplicative inverse). Then, by part (b) of this exercise, we know that for any . Hence,
since equality is transitive. However, this contradicts field Axiom 4 that and must be distinct elements