si "W" no está libre en "E" y "W" no está ligada a un λ donde se haya reemplazado a V.