C = 2k+1
baraye in ke esbat konid ke C hamin meghdare ebteda halate n=k ro dar nazar begirid va sabet konid ke C hadeaghal 2k+1 hast.
badesh ham farz konid ke p^s || 2k+1 va az tarafi p^b || n+k+1 va hamchenin s<b .
hala az baste mojud baraye mohasebeye v_p(\binom {2n }{n+k}) estefade konid (manzur hamun [\frac{2n}{p^t}] - [\frac{n+k}{p^t}] - [\frac{n-k}{p^t}] hast ) va sepas sabet konid ke dar in bast
dar haman b jomleye aval hadeaghale majmu barabare b-s ast (be tor daghightar s jomleye aval sefr mishavad vali b-s jomleye bad az an hadeaghal harkodam
1 mishavad.
baraye in ke esbat konid ke C hamin meghdare ebteda halate n=k ro dar nazar begirid va sabet konid ke C hadeaghal 2k+1 hast.
badesh ham farz konid ke p^s || 2k+1 va az tarafi p^b || n+k+1 va hamchenin s<b .
hala az baste mojud baraye mohasebeye v_p(\binom {2n }{n+k}) estefade konid (manzur hamun [\frac{2n}{p^t}] - [\frac{n+k}{p^t}] - [\frac{n-k}{p^t}] hast ) va sepas sabet konid ke dar in bast
dar haman b jomleye aval hadeaghale majmu barabare b-s ast (be tor daghightar s jomleye aval sefr mishavad vali b-s jomleye bad az an hadeaghal harkodam
1 mishavad.
