for F being Field
for E being b₁ -homomorphic Field
for K being Subfield of F
for EK being b₃ -homomorphic Field
for f being Homomorphism of F,E st E = EK holds
f | K is Homomorphism of K,EK