Example 2.23 done.