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