Доказать свойства сравнений. Желательно пользоваться определениями целых чисел, сравнимых по модулю m.