为什么所有题解都没证明这个结论啊？

为什么不会在交换过程中将一些点移动到区间外？如何构造一种合法的交换方案？