Este resultado se obtiene fácilmente reemplazando en la definición de formula_6 la expresión para formula_7.