canHom I is Homomorphism of R,(R / I) ;
hence R / I is R -homomorphic ; :: thesis: verum