[psyang]

Maybe a small hint for the proof to get the wheels turning.

Spoiler!

Now that we are working with binary numbers, consider operations as bit operations.

So, for example, multiplying by 2 is the same as a bitshift to the left.