In Chap. 8, we make particular use of this result.

• 在第八章中，我们要具体用到这个结果。