After receiving a packet numbered x, the receiver knows that x < na+wt, so na > x−wt.
По добивањето на пакетот нумериран како x, примачот знае дека x <na+wt, па na> x – wt.