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