حکم رو با استقرا ثابت میکنیم :
فرض کنید حکم به ازای n و m های توصیف شده درست باشه. اون وقت به راحتی نتیجه میشه:
دلیلش هم واضحه کافیه از فرض استفاده کنید و رابطه ها رو بسط بدید اونوقت بدیهی میشه.
حالا اگه دو طرف رو از هم کم کنید حکم به ازای
به دست می آید . چون :
بقیه حکم هم با استفاده از اتحاد پاسکال واضح است: