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 zecken

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