Mが単連結より、G → π_1(M/G) は全射。固有に作用しているから単射。