Legyenek R és S tetszőleges gyűrűk, valamint tegyük fel, hogy adva van egy f:R\to S gyűrűhomomorfizmus. Ekkor R/\ker f \simeq \text{im} f, azaz az R-ből képzett f magja szerinti faktorgyűrű izomorf f képével.