n : Prime no.
x : +ve integer not divisible by n ()

We get this from the fact that Φ(n) = n -1 when n is prime

when GCD(x, n) = 1