Solved Example 2.4