theorem lemNor2bb: :: FIELD_13:24

for F being Field
for E being FieldExtension of F
for K being b₁ -extending FieldExtension of F
for p being non constant Element of the carrier of (Polynom-Ring F) st p splits_in E holds
Roots (K,p) = Roots (E,p)