Field is Integral Domain/Proof 2

Theorem

Every field is an integral domain.

Proof

This result follows directly from:

Field has no Proper Zero Divisors
By definition, that a field is a commutative ring.

$\blacksquare$