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