Más generalmente: formula_7.