>>129
(2)
m=2の場合
(a_1,a_2)=dとおくとa_1=d*b_1、a_2=d*b_2とおくと(1)より(b_1)*(b_2)より大きな自然数kにたいして
k=(b_1)*(x_1)+(b_2)*(x_2)となりますから
dk=(a_1)*(x_1)+(a_2)*(x_2)と書けるので、m=2のときこの問題の命題は正しい

m=gの場合問題の命題は正しい、つまり十分大きな(a_1,…,a_g)の倍数(a_1,…,a_g)Kは
K=(a_1)*(x_1)+(a_2)*(x_2)+･･･・+(a_g)*(x_g)と書けると仮定します。

a=a_(g+1)/(a_1,・・・,a_(g+1) )、b=(a_1,…,a_g)/(a_1,・・・,a_(g+1) )と置いて(1)の解答と同様に考えると

注意ここから
a_(g+1)/(a_1,・・・,a_(g+1) )と(a_1,…,a_g)/(a_1,・・・,a_(g+1) )は互いに素です
a_(g+1)と(a_1,…,a_g)を、この2整数の最大公約数((a_1,…,a_g),a_(g+1) )=(a_1,…,a_g,a_(g+1) )で割ったものですから
注意ここまで

M＞{ (a_(g+1)/(a_1,・・・,a_(g+1) )}*{ (a_1,…,a_g)/(a_1,・・・,a_(g+1) )}となるような大きな自然数Mは
自然数ｕ,ｖ(ただし1≦ｕ≦(a_1,…,a_g)/(a_1,・・・,a_(g+1) ) )を用いてM={a_(g+1)/(a_1,・・・,a_(g+1) )}*u+{(a_1,…,a_g)/(a_1,・・・,a_(g+1) )}v
と置けることがわかります。