[karma_fountain]

Fib(x)=0 does satisfy this property though.

[karmakaze]

A full definition would include Fib(0) = 0, Fib(1) = 1 or if you prefer 1, 1.

[quickthrower2]

You need to manually check the first 2 values in a seperate test.