Field has no Proper Zero Divisors

Theorem
Let $\struct {F, +, \times}$ be a field.

Then $\struct {F, +, \times}$ 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.