2
二項係数を(n : r)のように表す。
(1) pが素数で p>k>0の時, (p : k)はpで割り切れる。
(2) p^n>k>0の時, (p^n : k)はpで割り切れる。この時、kがちょうどp^aで割り切れるならばp^(n-a)で割り切れる。