y ∉ QRn
∀x, x2 mod n ≠ y
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||
|
y ∉ QRn |
|||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||
|
∀x, x2 mod n ≠ y |
|||||||||||||||||||||||||||