In the second branch, cnd is replaced by T, which we saw above is always strictly less than cnd, thus increasing pos - cnd.
В другій гілці, cnd заміняється на T, як ми бачили вище завжди суворо менша ніж cnd, отже збільшується pos - cnd.