Field is Integral Domain/Proof 2

Proof
This result follows directly from:
 * Field has no Proper Zero Divisors
 * By definition, that a field is a commutative ring.