gauss congruence is an equivalence relation