for E, F being Field
for f being additive multiplicative Function of E,F holds
( f . (1. E) = 0. F iff f = E --> (0. F) )