ホモロジー群が全部同型なら同相?