y ’àà QRn
Check x2 mod n = y