This lemma shows that 1 is the only fixed cycle in the binary representation of numbers under the Collatz mapping, with proof based on separation into left significant part and trailing zeros.
Vitaly Reznik (Mon,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: