Example 3.
Koizumi’s example 26