f . (0. R) = 0. S by hom1;
then 0. R in ker f ;
hence not ker f is empty ; :: thesis: verum