ax+by+cz=kが解を持つ
ことの必要十分条件は、
kがa、b、cの最大公約数で割り切れる
ことである。これを証明せよ。文字は全て整数とする。(塾のテキスト)