y
∈
QR
n
Check x
2
mod n = y