La expresión formula_4 denota formula_5.