representa la expresión "E" con todas las ocurrencias libres de "V" en "E" reemplazadas con "W", entonces