4.2.6 递归定义的再理解