theorem lemNor1d: :: FIELD_13:16

for F being Field
for E1, E2 being FieldExtension of F
for p being non constant Element of the carrier of (Polynom-Ring F) st E1 == E2 & E1 is SplittingField of p holds
E2 is SplittingField of p