Изменения
→Свойства сравнений
*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. Обе части сравнения и модуль можно разделить на их общий делитель.
