最後に、im "q" は0 → "a" → "b" の完全性により "a" と同型である。