پاسخ : جز صحیح
که r از n کوچکتره(الگوریتم تقسیم)
واضحه که
پس طبق فرض
. اگر ثابت کنیم r=0 مسئله حله چون در اون صورت n=2[SUP]n-s
[/SUP]
حالا فرض خلف کنید که r صفر نباشه. میخوایم به تناقض برسیم. اولا
و همینطور
پس
از طرفی r صفر نیست پس
و داریم
پس
پس
پس
پس
که این هم برای n های بزرگ تر از 3 تناقضه. پس برای هر n بزرگ تر از سه حکم مسئله برقراره...