这种置换基于这样一个事实，即通过在n的斐波那契数表示右侧附加一个额外的零（也称为“Zeckendorf展开”），然后计算连续（非引导）零块的长度，我们可以获得与合成的双射对应，从而也可以获得唯一n的二进制表示。见下表：
[左移一次]相同运行的零=a（n）
0: ......0 ......0 [] .....0 0
1: ......1 .....10 [1] .....1 1
2: .....10 ....100 [2] ....11 3
3: ....100 ...1000 [3] ...111 7
4: ....101 ...1010 [1,1] ....10 2
5: ...1000 ..10000 [4] ..1111 15
6: ...1001 ..10010 [2,1] ...110 6
7: ...1010 ..10100 [1,2] ...100 4
8: ..10000 .100000 [5] .11111 31
9: ..10001 .100010 [3,1] ..1110 14
10: ..10010 .100100 [2,2] ..1100 12
11: ..10100 .101000 [1,3] ..1000 8
12: ..10101 .101010 [1,1,1] ...101 5
13: .100000 1000000 [6] 111111 63
在0、1、6、803、407483之后还有其他固定点吗？
