formula_57 definidas sobre formula_58