>>849
定式化するとこうかなぁ。
1以上の自然数 a_1,・・・,a_30 が任意に与えられているとする。
このとき、1≦k≦30 なる任意の自然数kに対して
a_1,・・・,a_30 からいくつかうまく選ぶと、その和がkで割り切れることを示せ。