Изменения
→Свойства сравнений
*5. Обе части сравнения можно умножить на одно и тоже число.
** Действительно, из <tex>a \equiv b(mod \text{ } m)</tex>, следует <tex> a = b+mt, ak =bk +mkt </tex>, и, следовательно, <tex>ak \equiv bk(mod \text{ } mk)</tex>.
*6. Обе части сравнения и модуль можно разделить на их общий делитель.
** Следует из пункта "б".
*9. Если одна часть сравнения и модуль делятся на некоторое число, то и другая сторона сравнения должна делится делиться на это число.
** Следует из пункта "а".
