if both points are not both either in [0,2N] or [N, ] this means one point has to be in [0,N) and the other point in (2N, ), meaning that their distance is greater than N. Now since is at least (because of using min( ), this cannot be so both points have to be in [0,2N] or [N, ]