Show that for any integer n > 1 and for any a * n ,

Show that for any integer n > 1 and for any a ∈ ℤ^*_n, the function f_a : ℤ^*_n → ℤ^*_n defined by f_a(x) = ax mod n is a permutation of ℤ^*_n.