theorem Th56: :: RING_3:57

for F being Field
for E being b₁ -homomorphic Field
for K being Subfield of F holds E is K -homomorphic