Remark

By an earlier theorem, Ker(f) is an ideal, so R/Ker(f) is the residue class ring described in the previous theorem.