Ojlerova teorema: ako su \(a\) i \(n\) uzajamno prosti, tada je \(a^{\varphi(n)} = 1 (\mathrm{mod}\ n)\)