Usando este lema podemos mostrar que la altura del árbol es algorítmica.