خب ببین از قضیه ی ویلسون استفاده کن اگر n برابر با p-1 نباشه در اون صورت یه عاملی وجود داره تو m که m رو عاد میکنه خب اون عامل حتما تو n فاکتوریلم وجود داره دیگه خب در اون صورت یه طرف عاد میکنه یه طرف عاد نمیکنه که تناقضه پس n به فرم p-1 هست حالا اگه m بیشتر از یه عامل اول داشته باشه دقیقا همون مشکل قبل پیش میاد پس m به فرم p[SUP]2[/SUP] هست خب پس معادله تبدیل به این حالت شد p-1 فاکتوریل به علاوه یک بشه p[SUP]2[/SUP] که p اوله داریم :
که این عبارتم اگه p بزرگتر از 5 باشه جواب نداره پس پنجه