En este contraejemplo, el número de nodos internos difiere del número de hojas más uno, pero no puede ser el árbol más pequeño, dado que éste cumple con la propiedad.