Kが有限単体複体でK~がKのregular covering space、その被覆変換が群Gである状況で
Z_2係数のコホモロジーH^1(K~)=0が成り立つ
という記述があったのですがこれはなぜ言えるのでしょうか