Entonces, el contraejemplo mínimo tiene al menos una hoja cuyo ancestro es un nodo interno.