theorem lift3b: :: FIELD_12:60

for F being Field
for E being FieldExtension of F
for L being b₁ -homomorphic b₂ -homomorphic Field
for f being Homomorphism of F,L
for g being Homomorphism of E,L st g is f -extending holds
Image f is Subfield of Image g