A 20.11. Tétel alapján az állítás teljesül minden főideálgyűrűben. Minthogy a 19.16. Tétel értelmében minden euklidészi gyűrű főideálgyűrű, ezért az állítás nyilvánvalóan teljesül speciálisan az euklidészi gyűrűkben is.