Теорема о накрывающей гомотопии