Example 24.
Reduction of measure 110