Reduced residue system (source code)

= Reduced residue system
{title2=$r_1,\ldots,r_{\varphi(n)}$}
{wiki}

For a positive modulus $n$, a reduced residue system contains exactly one representative of each <residue class> coprime to $n$. Its size is the <Euler totient function> $\varphi(n)$. Multiplication by any <unit modulo n> permutes these classes, which proves the <Fermat-Euler theorem> after multiplying and cancelling their unit product.