13.7.1 加性递归