Field is Integral Domain

Theorem
Every field is an integral domain.