Existují dvě řešení této úlohy, kvůli přehlednosti vybíráme takové řešení, kde body podstavy DEF mají větší z-tovou souřadnici.