Li-Fan Chen says to YSITD
suc 是一個函數