Example 8. Koizumi’s example 30