theorem :: FIELD_16:73

for p being Prime
for n being non zero Nat
for F being GaloisField of p |^ n holds deg (F,(Z/ p)) = n