>>741
>>737の疑問点を解決しないと駄目だよ
もしx-yが3で割れなかったら37x^2+47xy+37y^2が3で割り切れて9で割り切れないが
37x^2+47xy+37y^2 = 9(4x^2+5xy+4y^2)+(x+y)^2
なので、37x^2+47xy+37y^2は3で割り切れるならば9でも割り切れる