اگر $n-1$ رو به اون عبارت اضافه کنیم هیچ تغییری تو باقی مانده ایجاد نمیشه (اگر بخشپذیر باشه پخشپذیر میمونه )
باید ثابت کنیم :
$n-1 \mid n^{n-1}+...+n$
از n فاکتور میگیریم . چون باقی مانده n بر n-1 برابر 1 است میشود آن را حذف کرد . دوباره عبارت را بعلاوه $n-1$ میکنیم
داریم :
$n^{n-2}...+2n$
دوباره از n فاکتور گرفته و ....
اگر به همین صورت پیش برویم به $n+n-2=2n-2 $ میرسیم که واضح است بر $n-1 $ بخشپذیر است .
(در هر مرحله بعد از تقسیم بر n قرینه توان جمله سمت چپ بعلاوه n-1 برابر است با جمله سمت راست پس برای n ، جمله سمت راست برابر n-2 است )