q=k

Here the two paths will agree up to the point c. The next elements from the lists P'₃, P₂ will be y_c+1 and x_c+1. The fact that y_c+1 > x_c+1, gives that P'₃ > P₂.