Explicando el algoritmo debe recalcarse que sigue conservándose la condición hˆ(n) ≤ h(n) para que sea admisible hˆ(n).