树状数组的证明