In the second branch, cnd is replaced by T, which we saw above is always strictly less than cnd, thus increasing pos - cnd.
Ở trường hợp hai, cnd được thay thế bởi T, như chúng ta đã biết ở trên, luôn luôn nhỏ hơn cnd, do đó tăng giá trị của pos - cnd.