コヒーレンス
/mrsekut-book-4621063243/239 (VII-2 コヒーレンス)
コヒーレンス定理