for F being Field
for p being non constant Element of the carrier of (Polynom-Ring F)
for E1, E2 being SplittingField of p holds E1,E2 are_isomorphic_over F