Пусть натуральные числа m₁, m₂, ..., m_n попарно взаимно просты. Докажите, что если числа x₁, x₂, ..., x_n пробегают полные системы вычетов по модулям m₁, m₂, ..., m_n соответственно, то число  x = x₁m₂...m_n + m₁x₂m₃...m_n + ... + m₁m₂...m_n–1x_n  пробегает полную систему вычетов по модулю m₁m₂...m_n. Выведите отсюда китайскую теорему об остатках (см. задачу 160825).