Por la hipótesis de inducción cada hijo tiene al menos formula_13 nodos internos, así que formula_6 tiene :formula_15 nodos internos.