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.