Con esto se cuncluye que formula_87.