6.20. Explicit recursion