这个结论是啥来的qwq $X^{2}=-X+2\sum_{i=0}^{X}1$ by 渺小的Mastar @ 2019-08-20 19:38:43
您在纪中吧 by Frost_Delay @ 2019-08-20 19:46:09