证明每个正整数都有Zeckendorf表示
如果整数 ,其中表示斐波那契数,然后和为所有人,其中是二进制数字的数组是最多的索引有效数字。
否则,我们分配哪里是最大的斐波那契数,因此.然后很明显,因为在这个关头可以安全地假设和是不同的因此.这证明了必须是1,但不能超过1。如果是一个斐波那契数,我们现在可以停下来,否则,我们必须再次减去最大的斐波那奇数,减量相应地设置适当的。这个迭代过程最远的目标是,对应于。
此外它们之间必须有0,因为任何两个连续的1,例如at,和表示没有认识到,因此和可以设置为零以利于设置至1。(作为旁注梅森数应该被误认为是Zeckendorf代表;换句话说,没有反悔Zeckendorf表示)。