Exercise 1: Solution of exercise 3.2.4