Li-Fan Chen says to YSITD
所以 1 就是 suc zero 2 就是 suc ( suc zero)