En la condición necesaria anterior, el multiplicador dual formula_23 puede ser igual a cero.