Equivalentemente tenemos que formula_15 si y sólo si