Уравнения:
определяют взаимно обратные преобразования множества
Действительно
Покажем что
Пусть .
Поскольку числа и являются взаимно обратными относительно умножения по модулю :
Тогда
Аналогично
Из китайской теоремы об остатках следует