algebraic congruence