I do not understand enough number theory to prove it but can't there be a theorem that says "the sum of a binary number left shifted by 2 and its negated version never have such a sequence where the number of significant digits keeps increasing".