talk:>>169 任意の開被覆に対して、その局所有限である細分被覆が存在する。分からない用語があればそれについて訊くように。