Any Ideal A in R is the Kernel of the Natural Projection Ring Homomorphism onto the Factor Ring R/A