Update congruence.md