通过这些例子可熟悉一下原始递归函数。