P
Initializing...
Classical reduction: if $\gcd(a,N) \ne 1$ then it is a nontrivial factor of $N$ · Prove2Me