Изменения
→Арифметика сравнений
*2. Сравнения можно почленно складывать. <tex> a_1 + a_2 + a_3 \equiv b_1 + b_2 + b_3(mod \text{ }m)</tex>
*3. Сравнения можно почленно перемножать. <tex> a_1a_2a_3 \equiv b_1b_2b_3(mod \text{ }m)</tex>
*4. Обе части сравнения можно разделить на их общий делитель, если последний взаимно прост с модулем.
