f . (1_ R) = 1_ S by GROUP_1:def 13
.= 1. S ;
then ker f <> the carrier of R by ker1;
hence ker f is proper by SUBSET_1:def 6; :: thesis: verum