RT，https://www.luogu.com.cn/article/v5t82zty 证明过程不明觉厉，第三步和的四步没有任何关系，开头还说：

关于为什么交叉比不交叉更优的证明：

也与自己所得结论：

走交叉的路一定比走不交叉的路路程长。

相矛盾。