theorem Th50: :: QUOFIELD:50

for R, S being Ring
for f being Function of R,S st f is RingHomomorphism holds
f . (0. R) = 0. S