Field has no Proper Zero Divisors

Theorem
Let $\left({F, +, \times}\right)$ be a field.

Then $\left({F, +, \times}\right)$ has no proper zero divisors.

Proof
By definition, $F$ is a division ring.

Again by definition, a division ring is a ring with unity with no proper zero divisors.