theorem :: FIELD_16:68

for p being Prime
for F being strict GaloisField of p holds F = Z/ p by GP, FIELD_7:2;