Write some code that starts with two integers $a$ and $b$. Double one, then add $1$ to the other, giving two new integers. Repeat this on your two new integers. Do you always end up with two equal integers for any $a$ and $b$? (Ans: yes.)

See your results here: