>>212
その定理3.1.13 のステイトメントをここに書いた方が早い気がする