さらに、"x" が単連結ならば "x"/"g" の基本群は "g" に同型である。