位置は有限個しかないので、ある位置 jjj は無限回の周で停止される。雄鶏が jjj で停止するたびに、局所的な遷移によって次の位置で停止するか通過するかが変わる。したがって次の位置は無限回停止され、無限回通過される。そこで停止される周と、その次に通過される周を選ぶ。先の規則により、その次の周では再び停止される。よってある位置は連続3周で2回停止され1回通過される。