Hipótesis de Inducción: si "v" es tal que h("v") = k y contiene formula_3 nodos internos, veamos que esto implica que formula_6 tal que h(formula_6) = k+1 contiene formula_8 nodos internos.