Equivalentemente tenemos que formula_430 si y sólo si