题解区的证明貌似都比较含糊，我试着补一个清晰易懂的证明。

https://www.luogu.com.cn/blog/749630/solution-p3163