si todas las ocurrencias de "E′" están libres en "E"["V":= "E′"].