Example 5.
Koizumi’s example 28A