计算题 用归纳法证明原始递归函数都是全函数。