Zauważmy, że jeżeli odcinek łączący wierzchołek czworościanu ze środkiem okręgu opisanego na przeciwległej ścianie jest jednocześnie wysokością tego czworościanu, to krawędzie wychodzące z tego wierzchołka są równej długości. Oznaczmy wierzchołki czworościanu przez  oraz długość krawędzi wychodzących z wierzchołka  przez  , gdzie . Wtedy krawędź , gdzie , wychodzi z wierzchołka  oraz z wierzchołka  . Oznacza to, że , a więc czworościan jest foremny.