exercise 1.13 Fibonacci inductive proof