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