Zeckendorf Representation of Integer shifted Right/Historical Note

Historical Note on Zeckendorf Representation of Integer shifted Right
According to in his  of $1997$, this result was demonstrated by  in $1990$, but no further details are given.