theorem Th56: :: RING_3:57
for F being Field
for E being b1 -homomorphic Field
for K being Subfield of F holds E is K -homomorphic