Si a partir de un nodo formula_8 se puede obtener una solución válida, entonces se podrá podar dicho nodo si la cota superior CS(formula_8) es menor o igual que la cota inferior CI(formula_11) para algún nodo "j" generado en el árbol.