Mamy dwie liczby o własnościach:

,

oraz

.

Z ostatniego faktu wynika, że:

dla pewnego ,

dla pewnego

oraz , to znaczy liczby te są względnie pierwsze.