theorem lemNor1e: :: FIELD_13:17

for F being Field
for p being linear Element of the carrier of (Polynom-Ring F) holds F is SplittingField of p