Proof of the Necessity of the Odd-Even-Even-Odd Structure in the Collatz Conjecture | Synapse