1. The problem statement, all variables and given/known data 3) Let a be an integer = 0 and 6 n a natural number. Show that if gcd(a, n) = 1 then 6 there exists b ∈ Z, such that [a] · =  and =  in 6 Z/Zn 2. Relevant equations 3. The attempt at a solution Ok, so I'm still trying to digest the question and so far I'm going with the fact that if b is a integer multiple of a, ie, b := KONSTANT*a then it should still share a common divisor with both 'n' and 'a'. However, I'm also thinking that b could be --- b := KONSTANT + a. Now, I'm not too sure about the last part, but I think as long as the KONSTANT has a common divisor with [a] and n, then it should still work out. Any comments on my ideas or help in expressing them mathematically? I'm just not too sure on how to write this up, as I'm not very experienced with 'proofs'.