Example 3.7.
Information: Example 3.7.