Ring of Integers Modulo Prime is Integral Domain/Proof 1

Proof
We have that a Field is Integral Domain.

We also have that a Finite Integral Domain is Galois Field.

The result follows from Ring of Integers Modulo Prime is Field.