Suppose
Choose some encrypting exponent
By Euclid, find
Call
The public key is
We encrypt
The private key is
Then
Theorem
Suppose we know some
Write
Write
Let
- If
, then there is some such that
is nontrivial factor of
Corollary
Finding the private key