theorem pirred: :: FIELD_15:54

for p being Prime
for F being b₁ -characteristic Field
for a being Element of F st ( for b being Element of F holds not b |^ p = a ) holds
X^ (p,a) is irreducible