Σε κάθε τρισορθογώνιο τετράεδρο, το τετράγωνο της έδρας που βρίσκεται απέναντι απο την τρισορθογώνια στερεά γωνία, ισούται με το άθροισμα των τετραγώνων των τριών άλλων εδρών του τετραέδρου.

Αν Δ είναι η τρισορθογώνια στερεά γωνία του τετρέδρου ΑΒΓΔ, τότε το θεώρημα J.P. de Gua de Malves (1712–1785), βεβαιώνει ότι ισχύει (ΑΒΓ)²=(ΔΑΒ)²+(ΔΑΓ)²+(ΔΒΓ)².