ここで写像はからへの写像のホモトピー類をホモロジーに誘導される対応する写像に写す。