theorem :: FIELD_16:56

for p being Prime
for n being non zero Nat
for F being finite Field st card F = p |^ n holds
X^ ((p |^ n),F) is Ppoly of F,([#] the carrier of F)