איך ממשיכים את ההוכחה עבור המקרה ש- <math>(a,p)\neq 1</math> ????
: הפעולה בחבורת אוילר היא כפל (<math>\mathbb{Z}_{p}-\left \{ 0 \right \}</math> אינה סגורה לחיבור!). אי אפשר להשתמש במשפט אוילר כדי להוכיח את משפט פרמה, שקדם לו במאה שנים. ההוכחה (של שניהם) היא להפעיל את משפט לגרנז' על חבורת אוילר מהסדר המתאים.
: במקרה ש-a אינו זר ל-p, בהכרח p מחלק את a ולכן p מחלק כל חזקה של a וממילא גם את ההפרש a^p-a. [[משתמש:עוזי ו.|עוזי ו.]] ([[שיחת משתמש:עוזי ו.|שיחה]]) 12:17, 21 בדצמבר 2013 (EST)
== שאלה ==