175
правок
Изменения
→Свойства сравнений
*6. Обе части сравнения и модуль можно разделить на их общий делитель.
** Действительно, пусть <tex>a \equiv b(mod \text{ } m), a = a_1d, b=b_1d, m=m_1d</tex>, отсюда <tex> a= b+mt, a_1d =b_1d +m_1dt, a_1 =b_1 +m_1t</tex>, и, следовательно, <tex>a \equiv b(mod \text{ } m)</tex>.
*7. Если сравнение <tex>a\equiv b</tex> имеет место по нескольким модулям, то оно имеет место и по модулю равному [[Наименьшее общее кратное|НОК]] этих модулей.
*8. Если сравнение имеет место по модулю '''m''', то оно имеет место и по модулю '''d''', равному любому делителю числа '''m'''.
