theorem Th10: :: FIELD_2:11
for K being Field
for F being b1 -monomorphic Field
for f being Monomorphism of K,F st K,F are_disjoint holds
embField f is almost_left_invertible