Gdy dodamy liczbę wszystkich krawędzi pewnego graniastosłupa do liczby wszystkich jego wierzchołków, to otrzymamy w wyniku 15. Liczba wszystkich krawędzi tego graniastosłupa jest równa