theorem Gsplit: :: FIELD_16:71

for p being Prime
for n being non zero Nat
for F being GaloisField of p |^ n holds F is SplittingField of X^ ((p |^ n),(Z/ p))