Теорема:
Функцията "Брой символи в името на числото x на американски английски" има една единствена фиксирана точка, а именно 4.
Следствие:
Рекурсивното прилагане на функцията към произволно число винаги ни "паркира" върху числото 4.
Пример:
Ако числото x = pi*r^2, то името му е "pi times r squared", a f(x) = 15, f(15) = 7, f(7) = 5, f(5) = 4, f(4) = 4.