\[\begin{array}{l} {\text{Если }}x{\text{ пробегает полную систему вычетов по модулю }}p{\text{ и }}\left( {a,p} \right) = 1, \hfill \\ {\text{то }}ax{\text{ также пробегает полную систему вычетов по модулю }}p. \hfill \\ \end{array}\]