Какое из приведенных утверждений является Китайской теоремой - Ответ на вопрос по КВ №1307945

Вопрос

• Пусть p - простое число. Если a – целое, не делящееся на p, то ap – 1 = 1 modp.
• Если НОД(m, s ) = 1, то для любой пары остатков a mod m, b mod s существует уникальный остаток x mod ms, такой что x = a mod m и x = b mod s.
• Пусть G – конечная группа, тогда порядок любой подгруппы H в G является делителем порядка G и порядок любого элемента g в G является делителем порядка G.

Ответ