Supongamos que $p$ y $q$ son números primos distintos que se suman y son tales que $p-1\mid q-1$ . Si $\gcd(a,pq)=1$ demuestran que..: $$a^{q-1} \equiv 1 \pmod{pq}$$
He intentado lo siguiente: $$a^{q-1} \equiv 1 \pmod{q} \quad \text{and} \quad a^{p-1} \equiv 1 \pmod{p}$$ $$\implies a^{(q-1)(p-1)} \equiv 1 \pmod{q} \quad \text{and} \quad a^{(q-1)(p-1)} \equiv 1 \pmod{p}$$ $$\implies a^{(q-1)(p-1)} \equiv 1 \pmod{pq}$$
Pero entonces estoy atascado - por favor, ayuda.