Neka su u tetraedru ABCDABCD površine strana ABDABD, ACDACD, BCDBCD i BCABCA redom jednake S1S_{1}, S2S_{2}, Q1Q_{1}, Q2Q_{2}, a prostorni kut između strana ABDABD i ACDACD jednak α\alpha, odnosno β\beta između BCDBCD i BCABCA. Dokažite da je S12+S22−2S1S2cos⁡α=Q12+Q22−2Q1Q2cos⁡β.S_{1}^{2} + S_{2}^{2} - 2S_{1}S_{2}\cos\alpha = Q_{1}^{2} + Q_{2}^{2} - 2Q_{1}Q_{2}\cos\beta.