Shor's reduction: a random unit x mod odd n yields a nontrivial factor with probability ≥ 1 − 1/2^{k−1}

Initializing...

Shor's reduction: a random unit x mod odd n yields a nontrivial factor with probability ≥ 1 − 1/2^{k−1} · Prove2Me