Изменения
Нет описания правки
*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. Обе части сравнения можно разделить на их общий делитель, если последний не взаимно прост с модулем.*5. Обе части сравнения можно умножить на одно и тоже число, кроме общего делителя.*6. Обе части сравнения и модуль можно разделить умножить на их общий делитель.
*7. Если сравнение <tex>a\equiv b</tex> имеет место по нескольким модулям, то оно имеет место и по модулю равному [[Наименьшее общее кратное|НОК]] этих модулей.
*8. Если сравнение имеет место по модулю '''m''', то оно имеет место и по модулю '''d''', равному любому делителю числа '''m'''.
*9. Если одна часть сравнения и модуль не делятся на некоторое число, то и другая сторона сравнения не должна делится на это число, кроме некоторых исключений.
*10. Если <tex>a \equiv b(mod \text{ }m) </tex>, то <tex>(a,m) = (b,m) </tex>.
