S aplica "x" a "y" después de substituir primero a z en cada uno de ellos.