Let $p,q,r$ be primes such that for all positive integer $n$, $$n^{pqr}\equiv n (\mod{pqr})$$Prove that this happens if and only if $p,q,r$ are pairwise distinct and $LCM(p-1,q-1,r-1)|pqr-1$
Problem
Source: Indonesian TST for IMO 2023 Stage 1: Test 2 - Number Theory
Tags: number theory, Fermat s Little Theorem, primitive root, Primitive Roots