Un árbol AVL de altura H tiene por lo menos (Fibonacci(H+3) -1) nodos.