>>81
13(2x+3y)-17(x+2y)=9x+5y
よって2x+3yが17の倍数ならば9x+5yも17の倍数

4(9x+5y)-17(2x+y)=2x+3y
よって9x+5yが17の倍数ならば2x+3yも17の倍数