theorem lintrans: :: FIELD_8:36

for F being Field
for E1 being FieldExtension of F
for E2 being b₂ -homomorphic FieldExtension of F
for h being Homomorphism of E1,E2 holds
( h is F -fixing iff h is linear-transformation of (VecSp (E1,F)),(VecSp (E2,F)) )