In number theory, a congruence of squares is a congruence commonly used in integer factorization algorithms.