$Y$ と素数 $P$ が与えられ、$X^2 \equiv Y \pmod{P}$ を満たす $X$ を求める。