Example 2.26 done.