Example 18.
Reduction of measure 31