theorem hom3a: :: RING_2:11

for E, F being Field
for f being additive multiplicative Function of E,F holds
( f . (1. E) = 1. F iff f is monomorphism )