Изменения

|author=Сун-Цзы

Пусть <tex> n = n_1 n_2 \ldots n_k </tex>, где <tex> n_i </tex> {{- --}} попарно взаимно простые числа. Рассмотрим соответствие <tex> a \rightarrow (a_1 , a_2 , \ldots , a_k) </tex>, где <tex> a_i = a(mod \text{ }n)</tex>. Такое соответствие является однозначным, для любого '''а''' (<tex> 0 \le a \le n </tex>).