( I-6 ) formula_35 si y solo si formula_57