这个是怎么推导来的？我最后一步没懂，有没有大佬解答一下谢谢！

a * x ≡ b (mod m)

a * x + m * y1 = gcd(a, m) = （设为）d

a * x * b / d + m * y1 * b / d =d * b / d = b

然后这一步?是怎么变为ans = x * b / d % m的？

我数学太烂了