Example 10.
Koizumi’s example 32
