שינויים

אפשר הסבר? תודה.

שלב א לא מספיק מהסיבה הפשוטה ש (הדבר תקף לכל שדה ולא רק לשדה <math>Z_p</math> כלשהו):

יהי <math>a*b=a*c</math> ומכאן ש - <math>b=c</math>. אבל שים לב שלא רשום לנו בהכרח <math>a*b=a*c=1</math>, ולכן קיימת דוגמה נגדית לכך ש- c ו- b אינם ההופכיים של a, למשל <math>a*b=4=a*c</math>. במקרה זה אכן מתקיים ש-<math>b=c</math> אבל לא מתקיים שהם ההופכיים של a.