Legyen (R, +, \cdot ) tetszőleges egységelemes gyűrű a szokásos jelölésekkel. Ekkor 0\neq 1, azaz az egységelem biztosan különbözik a nullelemtől.