Figure 3: Case 1, Example 1, Real(Hy).
Image: T. Grzegorczyk.