Example 1. Koizumi’s example 25A