I'm trying to prove:

It's not obvious what substition I should use here. If I let and then I have and .

This turn into a really complicated thing, and I can't see were I will be able to find in this mess. I don't really expect anyone to prove this for me, since it's too much work. However, I just need some guidance. Is there some trick I'm not noticing?