corrections in congruence/algorithm section