Sea formula_6 la imagen de una función formula_7, entonces formula_8.