nCr (コンビネーション計算)
が整数であることを示したいのですが、意味から考えて当たり前すぎて手が付かないのですが…