Example 2.19 done.