theorem :: FIELD_16:72

for p being Prime
for n being non zero Nat
for F1, F2 being GaloisField of p |^ n holds F1,F2 are_isomorphic_over Z/ p