>>589
なるほど。互いに素である解を整数倍した解も解になると書いているのでしょう。
解が互いに素であると限定しても証明が成立する理由は>>553に書いている。