theorem lift3c: :: FIELD_12:61

for F being Field
for A being AlgebraicClosure of F
for L being b₂ -homomorphic b₂ -monomorphic Field
for g being Monomorphism of A,L holds Image g is algebraic-closed