Example 4.