>>600
向き付け不可能な多様体Xは向き付け可能な多様体Yで2重被覆されるので
Yの基本群はXの基本群の指数2の部分群