entonces notamos que formula_57.