这里是我的思路

如何证明正确性/如何 hack/各位大佬的已经证明正确性的解法是啥样的？