Ostrosłup 9-kątny ma .... wierzchołków.