پاسخ : ماراتن نظریه ی اعداد (سطح پیشرفته)
برای اثبات حکم کافی است نشان دهیم که معادله ی روبرو با شرط n<m جواب ندارد
. اگر این معادله دارای جواب باشد انگاه میتوان فرض کرد که n , p نسبت به هم اولند در این صورت خواهیم داشت :
و چون p عددی به شکل 3k+2 است و عوامل اول
یا 3 و یا به شکل 3k+2 هستند پس خواهیم داشت :
یعنی
اکنون اگر در معادله اصلی به جای a عبارت بدست امده را قرار دهیم معادله به شکل زیر در می اید :
یا به طور مرتب تر :
که در این صورت خواهیم داشت :
که تناقض است و در نتیجه معادله اولیه جواب ندارد .