Además, se sabe que formula_7.