Μια ιδιοκατασκευή:
Έστω μετασχηματισμός ακεραίων
.Ξεκινώντας από το ζεύγος
και με διαδοχικές εφαρμογές του μετασχηματισμού παίρνουμε μια ακολουθία από ζεύγη
.Έστω
ο μέγιστος πρώτος διαιρέτης του
.Έστω
το σύνολο των
για τα διάφορα
.Δείξτε ότι, για κάθε
,η σειρά
συγκλίνει.
και αναλύστε σε γινόμενο αριθμών του Fermat. Με επίκληση σε ένα θεώρημα του Lucas που εκτιμά τους πρώτους διαιρέτες των αριθμών του Fermat, δείξτε το ζητούμενο.