שינויים

לפי הנתונים קיימים <math>k,m<n</math> כך ש <math>mk=n</math>. לפיכך, לפי ההגדרה,  <math>\overline{m}\overline{k}=n\mod{n} =\overline{0}</math>.  לו היה זה שדה, היו קיימים איברים הופכיים בהם היה ניתן לכפול והיינו מקבלים:  <math>\overline{k}^{-1}\overline{m}^{-1}\cdot 0 = 1</math>  ולכן 0=1 בסתירה לתכונות השדה.