theorem :: FIELD_16:66

for p being Prime holds Z/ p is GaloisField of p