text: Если m = p {\displaystyle m=p} — простое число, то для каждого n {\displaystyle n} , не кратного p {\displaystyle p} , в поле вычетов Z p {\displaystyle \mathbb {Z} _{p}} всегда существует число n ∗ {\displaystyle n^{*}} , обратное к n {\displaystyle n} : n ∗ n ≡ 1 mod p {\displaystyle n^{*}n\equiv 1\mod p} , и при этом n ∗ ≡ n p − 2 mod p {\displaystyle n^{*}\equiv n^{p-2}\mod p} .