به وضوح داریم
یا عوامل اولش به شکل 4K+1 است یا 3 . حالا نشان میدهیم اعداد n که به شکل توان های 2 نیستند نمیتوانند در معادله صدق کنند و برای اثبات از این استفاده میکنیم که در این صورت میتوان نوشت
, و از این استفاده کرد که
عدد
را عاد میکند و
نسبت به 3 اول است و داریم به شکل 4i+3 است ÷س عامل اولی به این شکل دارد که تناقض است .
حال نشان میدهیم که حکم به ازای n=2^r برقرار است برای این از یه انحاد مشهور و قضیه ی باقیمانده ی چینی اسفاده میکنیم .
ممنون