そうすれば "f" がホモトピー同値ならば "f"*は同型であることがわかる。