对于这题的 cdq 做法，如何证明转移补充不漏（即转移之后得到的结果正确）