>>346
> 連続する整数の積だから必ず分母の倍数になる
怪しいな。証明になってないんじゃない？
nCrを
nCr=n!/(r!(n-r)!)
で定義したとき、これらが整数になることは
例えば、パスカルの三角形の関係を用いて帰納的に行う
などの方法で容易に証明できる