Figure 16
The region \(R\) is \(y\)-simple.