Let $p_1,...,p_s$ be distinct prime number, and put $N = p_1 \cdots p_s$. Let $e$ a positive integer such that $gcd(e,\phi(N)) = 1$. Show that the map $f_e : \mathbb{Z}/N\mathbb{Z} \rightarrow \mathbb{Z}/N\mathbb{Z} , f_e(x) = x^e$ is bijective.
I know the proof should be related to Chinese Reminder Theorem. But I'm still confused about how to prove it. I'm thinking about there exists a positive integer $d$, such that $de≡1 (\phi(N))$, thus $f_d*f_e=f_e*f_d$