maximal condition on congruences