题解全都在说贪贪贪，没一个证了的（包括 CF 的），但是这真的显然吗？因此在这求个证明。