Li-Fan Chen
says to
YSITD
我的意思是 對於所有a:Int 都符合 f a=a+3