فرض کنید a+b عامل اول فردی مانند p داشته باشد. اگر n فرد باشدa^n+b^n||p = || a+b||p + ||n||p||
پس کافیست کهn را طوری انتخاب کنیم که سمت راست بر n+1 بخش پذیر نشود. بنابرین به تناقض میخوریم پس a+b عامل اول فردی ندارد.
فرض کنید a+b عامل اول فردی مانند p داشته باشد. اگر n فرد باشدa^n+b^n||p = || a+b||p + ||n||p||
پس کافیست کهn را طوری انتخاب کنیم که سمت راست بر n+1 بخش پذیر نشود. بنابرین به تناقض میخوریم پس a+b عامل اول فردی ندارد.
پس حکم مسئله نمیتواند برای n=1 و n=p همزمان برقرار شود. پس u+v توانی از 2 است. با همین استدلال u^3+v^3 هم توانی از 2 است، اما چون u,v فردند، پس u^2-uv+v^2=1 یعنی u=v=1 و نتیجتا a=b. حال به راحتی میتوان نشان داد a=b=2.