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