Li-Fan Chen
says to
YSITD
Primitive recursive function 系統本身自帶一個遞迴函數