"Con la condición de que y sea una variable que no ocurre libre ni en p ni en ningún renglón que preceda a "P"y".