因为 𝑎 = 𝑎,𝑏 =𝑏
a = a ,b = b，所以 𝑥1 = 𝑦2,𝑦1 = 𝑥2 − ⌊𝑎 / 𝑏⌋𝑦2 这是我们最后的结论
可能有吧，但是我感觉只有向我这样的废物才会为这个等式烦恼，我曾经认为
𝑥1 = 𝑦2 - 𝑏 ,𝑦1 = 𝑥2 − ⌊𝑎 / 𝑏⌋𝑦2 + 𝑎 也是有可能的，但是事实上根据定义
𝑎 mod 𝑏 = 𝑥2 − ⌊𝑎 / 𝑏⌋𝑦2 ， 所以 𝑥2 − ⌊𝑎 / 𝑏⌋𝑦2 必须在 0 <= x < b 的区间中，
而一般而言 a > b 所以 𝑥1 = 𝑦2 - 𝑏 ,𝑦1 = 𝑥2 − ⌊𝑎 / 𝑏⌋𝑦2 + 𝑎 都不在区间之中
所以没有其他情况了，就这样结束吧...
