:: deftheorem defGal defines GaloisField FIELD_16:def 8 :
for p being Prime
for q being Power of p
for b₃ being finite Field holds
( b₃ is GaloisField of q iff ( order b₃ = q & Z/ p is Subfield of b₃ ) );