Given a positive integer $n,$ prove that there exists a positive integer $m > 1000$ such that $m \equiv 7 \pmod{n}$ and $\gcd(m,n) = 1.$
+1729 
