Esto, de hecho, define una función que es equivalente a componer formula_5 con formula_6 formula_7 = formula_8 = formula_9.