Solution to exercise 1.1.13