Example 1.10 done