n,k>1を整数とするとき二項係数n^kCn+1がn^kで割り切れることを示してください