За­ме­тим, что для всех x век­тор h(x) со­дер­жит чет­ное число еди­ниц, так как

Зна­чит, в рас­смат­ри­ва­е­мой по­сле­до­ва­тель­но­сти x, h(x), h⁽²⁾(x), ..., h^(k)(x) (1) все век­то­ры, на­чи­ная со вто­ро­го, имеют чет­ное ко­ли­че­ство еди­ниц. Ко­ли­че­ство всех век­то­ров, име­ю­щих чет­ное ко­ли­че­ство еди­ниц, равно По­это­му пре­тен­ден­том на самое боль­шое ко­ли­че­ство раз­лич­ных век­то­ров яв­ля­ет­ся по­сле­до­ва­тель­ность (1), на­чи­на­ю­ща­я­ся с век­то­ра, со­дер­жа­ще­го не­чет­ное ко­ли­че­ство еди­ниц и про­дол­жа­ю­ща­я­ся всеми век­то­ра­ми с чет­ным ко­ли­че­ством еди­ниц. Ко­ли­че­ство век­то­ров в такой по­сле­до­ва­тель­но­сти будет Таким об­ра­зом,