(It does rigorously establish that the 2-adic extension of the Collatz process has two division steps for every multiplication step for almost all 2-adic starting values.)
(Ωστόσο, καθιερώνει αυστηρά ότι η 2-αδική επέκταση της συνάρτησης Κόλατζ  έχει δύο βήματα διαίρεσης για κάθε βήμα πολλαπλασιασμού για σχεδόν όλες τις 2-αδικές τιμές εκκίνησης.)