証明って基本群からホモロジー群への全射準同型の
核が基本群の交換子部分群であるってこと？