Example 9.