Take the 2nd line, and drop in the definition of "z" from the first line. You get the 3rd line as a result.