设T*是由这些规则生成的根为0的无限树：如果p在T*中，则p+1在T*，x*p在Tx中。设g（n）是第n代的节点集，使g（0）={0}，g（1）={1}，g（2）={2，x}，c（3）={3,2x，x+1，x^2}等。设T（r）是用r代替x得到的树。
对于每个整数k>0，设s（k，n）为第n代T（k*i）中的整数个数。猜想：当k增加时，存在一个极限序列S（n），当n>=1时，S（n=A000045号（斐波那契数列）。
暂时假设复数不能转换回整数。如果是这种情况，那么g（n）中的实数整数是g（n-1）加1中的实值整数，g（n-1）中的虚整数乘以k*i，它们本身就是k*i乘以g（n-2）中的实整数，因此S。
然而，上述假设是错误的，但这种转换最早发生的时间是在g（k^2+5），遵循以下路径：0->1->k*i->1+k*i->-k^2+k*i->-（k^2-1）+k*i->…->k*i->-k^2。
因此，s（k，n）与n<k ^ 2+5和s（n）=F（n）的斐波那契数列相匹配。（结束）
