Finite Integral Domain is Galois Field/Proof 3

Proof
An integral domain is by definition a ring which has no proper zero divisors.

By definition, a Galois field is a field whose underlying set is finite.

The result follows from Finite Ring with No Proper Zero Divisors is Field.