theorem split0: :: FIELD_15:53

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