theorem thX1ee: :: FIELD_16:39

for p being Prime
for n being non zero Nat
for F being b₁ -characteristic Field st card F = p |^ n holds
Roots (X^ ((p |^ n),F)) = the carrier of F