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