Determine necessary and sufficient conditions on $x, N$ so that the following holds: for any $a, b$, if $ax ≡ bx \pmod N$, then $a ≡ b\pmod N$
For $a,b$ coprime, there exists positive integers $x,y$ such that $ax-by=1$