If a part's cost exceeds its certified bound, Lemma 13 supplies the cut. Otherwise sum the recursive size guarantees, replace each bound by the corresponding part cost, and use the separator's lightness to retain one additional factor of $1-δ$.