theorem sp: :: FIELD_15:33

for F being Field
for a being Element of F
for n being non zero Nat holds (X- a) `^ n splits_in F