I find the distinct property much more interesting and non obvious.

It looks like non consecutivity is only there to force unique solutions hence called zeckendorf representations