そもそも二項定理「n_C_k」が、なんで「n」が素数の時だけ「1≦k≦n-1」の範囲の全て割り切れるんだよ
そこからだろ