מחלק אפס – הבדלי גרסאות

אם ל <math>\ R</math> אין איבר יחידה, בפרט <math>\ 1_S</math> אינו איבר יחידה של החוג כולו, ולכן בלי הגבלת הכלליות קיים <math>\ x\isin R</math> כך ש<math>\ 1_S\cdot x\ne x</math>, כלומר: <math>\ 1_S\cdot x-x\ne 0</math>.