Участник:Темирлан/Вероятностная проверка тождеств/Задачи/Простая задача

• Вероятностная_проверка_тождеств/Задачи/Простая_задача

Числа взаимно просты с . Домножим эти числа на и возьмем остатки по модулю . Получим опять ту же систему остатков. Иначе: есть два разных числа: противоречие. Значит, если перемножить все числа в обеих системах, получим сравнимые числа: , что и требовалось