(This is true because as formula_12 runs through all nonzero remainders modulo formula_11 without repetitions, so does formula_17 - if we have formula_18, then formula_19, hence formula_20, but formula_21 and formula_22 aren't congruent modulo formula_11.)