Below is the questions. I am hesitant on the reason why we replaced y with z? It seems to be making my proof a bit more complicated. Help would be appreciated, thanks!