Question 825703
One could think all-in-the-head to make y=2x.


Are you hoping for a more formal way to find this?