theorem mmo: :: FIELD_10:7

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