Example 6.