formula_6 es, como de costumbre formula_7.