据我有限的知识观察，洛谷题解贴的证明应该都是错的。想要的话可以直接找 Alex_Wei 的证明。（虽然在洛谷他的题解上并没有贴这个。。。）

说实话，写的有亿点点抽象。所以也可以参考我自己的整理。