Let's say that gcd(a,b)=d then we have:
From this 2 realtions results that:
following the same procedure we will find that
this case is absurd if d is not equal to 1.
Have a nice day,