Сколько вершин у выпуклого многогранника