7.1.3 基本定理