Li-Fan Chen says to YSITD
0 = 0(0+1)/2 成立