Example 4.
Koizumi’s example 27
