基本群は有限個ある分岐点の周りの局所モノドロミーから決まる置換たちによって
生成されるからだろう。