Example 3.23, even more general version