不動類は fff が 1987 の整数個のブロックを加えることを意味し、反復でそのブロック数が二倍になる。
a∈{0,…,1986}a\in\{0,\ldots,1986\}a∈{0,…,1986} を選ぶ。不動類より q∈Z≥0q\in\mathbb Z_{\ge0}q∈Z≥0 を用いて f(a)=a+1987qf(a)=a+1987qf(a)=a+1987q。両立性から f(f(a))=f(a+1987q)=a+2⋅1987qf(f(a))=f(a+1987q)=a+2\cdot1987qf(f(a))=f(a+1987q)=a+2⋅1987q である。