שינויים
/* פתרון */
לפי תכונה (5) לאיבר <math>0\cdot a \in\mathbb{F}</math> קיים איבר נגדי. נחבר אותו לשני צידי המשוואה לקבל <math>\forall a\in\mathbb{F}:0\cdot a + (-(0\cdot a)) = (0\cdot a + 0\cdot a) + (-(0\cdot a))</math> לפי תכונה (3) ניתן להחליף את סדר הסוגריים מימין ולקבל <math>\forall a\in\mathbb{F}:0\cdot a + (-(0\cdot a)) = 0\cdot a + (0\cdot a + (-(0\cdot a)))</math>
עוד לפי תכונה (5) יחד עם תכונה (4) מתקיים ש<math>\forall a\in\mathbb{F}:0 = 0\cdot a</math> בדיוק כפי שנדרשנו לגזור.
