Buenas, unas pregunta, la sustitución en este teorema se hace solo en 
o se hace en la formula con el para todo incluido? O sea, se hace primero la sustitucion y a eso despues lo cuantificamos en z o x o primero cuantificamos y despues sustituimos?