a сравнимо с b по модулю n означает, что у них одинаковые остатки при делении на n. Иными словами, это означает, что a=b+nk. Легко доказать, что если a сравнимо с b, c сравнимо с d по модулю n, то pa сравнимо с pb, a+c сравнимо с b+d, ac сравнимо с bd, то есть сравнения можно складывать, вычитать, перемножать, возводить в натуральную степень.