לו היה זה שדה, היו קיים הופכי ל mכלומר יש מחלקי אפס. אם היינו כופלים אותו בשני האגפים היינו מקבלים: כיוון שבשדה אין מחלקי אפס נסיק כי <math>\overlinemathbb{kZ}=\overline{m}^{-1}\overline{m}\overline{k} =\overline{m}^{-1} 0 = 0_n</math> ולכן 0=k בסתירה להגדרת kאינו שדה במקרה זה.
===תרגיל 2.6===
