Al remplazar ese nodo interno por el hermano de la hoja en el contraejemplo mínimo se obtiene un árbol más pequeño que también es un contraejemplo, lo que representa una contradicción.