How can  x^2 \equiv y^2 (\text{mod } n) be used to factorize n?