Example 7.
Koizumi’s example 29