quadratic congruence