Skrajšan dokaz leme 4.12 o tem, da so x+y v  Z(R) natanko tedaj, ko je (x+J(R)) + (y+J(R)) v Z(R/J(R)).