Bizonyítandó, hogy ortocentrikus tetraéder szemközti éleinek normál transzverzálisai átmennek a tetraéder magasságpontján, továbbá, hogy a normál transzverzálisoknak az élekkel alkotott metszéspontjai a tetraéderlapok magasságvonalainak az illető éleken levő talppontjai.