Para formula_29 es necesario y suficiente que formula_30