>>487が少し分かりました
=1と書いている意味は、割り切れないという意味なんですね
aA + bN = (-a)(N-A) + (a+b)Nの式変形は分かるんですが、
>>487の(-a)(N-A) + (a+b)N = 1、だからN-AとNは互いに素は
-aとa+bが互いに素でないと言えないと思うんですが、
aとbは互いに素、なんですかね