Напишите пожалуйста формулировку теоремы о группе классов вычетов взаимно простых с модулем m ∈ N.