y QRn
Check x2 mod n = y