原始递归函数定义:三头变是什么?