Por lo tanto se deduce que formula_13