Dany jest graniastosłup prawidłowy czworokątny, o krawędzi podstawy \(a\) oraz wysokości \(h\). Wpisano w niego ostrosłup prawidłowy czworokątny w taki sposób, że krawędzie podstawy ostrosłupa i graniastosłupa pokrywają się, zaś górny wierzchołek ostrosłupa jest środkiem podstawy górnej graniastosłupa (zobacz rysunek). Niech \(F\) będzie bryłą powstałą po wycięciu ostrosłupa z graniastosłupa.
Różnica objętości bryły \(F\) i objętości ostrosłupa jest równa: