>>147
nCk=n(n-1)…(n-k+1)/k!
で分子は連続するk個の整数なのでkで割った余りは0,1,2,…k-1を一つずつ取る。
分子はk以上の数の積。よってiの倍数(1≦i≦k)をいずれも含みnCkは整数。