Az ABCD tetraéder élei rendre AB=c, BC=a, CA=b, DA=a1, DB=b1, végül DC=c1. Legyen h a tetraéder D csúcsából induló súlyvonalának a hossza. Igazoljuk, hogy