We saw in Example 5.7