Solved example 2.9