>>866
どううまく選んでもnで割り切れないと仮定する。
Σ[i=1,j]a_iをnで割った余りをb_j(b_j=1,･･･,(n-1))とする。
b_x=b_y(x<y)となるx,yが存在すると仮定すると、b_y-b_x=0すなわちΣ[i=(x+1),y]a_iがnで割り切れるので、
b_j(j=1,･･･,n)は全て異なる。
これはb_jが(n-1)種類であることに矛盾。

"いくつか","和"→2つ以上？