Example 6.
Koizumi’s example 28B