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