Example 9. Koizumi’s example 31