حال n را آنقدر بزرگ می کنیم که n>a
پس n=a+q
1) فرض می کنیم که k^2<a+q
2) بدیهی است که اگر n=k آنگاه a برابر با صفر می شود
3)فرض می کنیم که k>a+q پس k=a+q+t1
اگر t1 کوچکتر یا مساوی از n باشد در این صورت مسیله حل شده است
اگر t1 بزرگتر از n باشد در اینصورت به طریق بالا خواهیم داشت :
t1=n+t2
ti را نیز به همین صورت تعریف می کنیم پس داریم :
این کار را آنقدر ادامه می دهیم تا در این صورت یک tl پیدا شود که از n کوچکتر باشد
بدیهی است که برای n های کوچکتر از a حتما حداقل یکی از عبارات بر n بخش پذیر می شود . پس مسیله حل شد