关于一个求最小交换次数的算法的一个严格证明，是严格证明，不是想当然