P305 定理13.3
P309 定理13.5
P62 定理6.11
あたりの話じゃないの?