Twierdzenie o logarytmie dyskretnym

Szablon:Dopracować Twierdzenie o logarytmie dyskretnym – niech f będzie pierwiastkiem pierwotnym mod n. Wtedy kongruencja $f^x\equiv f^y(\mathrm{mod}n)$ jest równoważna kongruencji $x\equiv y(\mathrm{mod}\varphi (n)),$ gdzie $\varphi$ jest funkcją Eulera.