En la implementación dada de ABB, al eliminar un nodo con dos hijos, el algoritmo sustituye su elemento por el mínimo del subárbol derecho y a continuación aplica recursión hacia abajo para eliminar ese mínimo del lugar donde se encontraba