我只知道下面一个定理：
对于整数a，c，当a，c互质时，存在b，使得ab=1(mod c)。
根据这个定理我怎么推也推不出来“x=1（mod y）有解等价于x 与 y互质”
——————————————
注：“＝”表示同余的意思，三个横杠打不出来。