7.6 定理讨论