A<(2-B) +(5..-C), ou A+2>B-4-C
D'ailleurs, le supplément d'un angle diminuant quand cet angle augmente, A doit être le plus petit des dièdres A, B, C, puisque a' est la plus grande des faces a', b', c'. Donc, enfin, la proposition demandée est la suivante : Dans tout trièdre, le plies petit angle dièdre, augmenté de deux droits, est plus grand que la somme des deux autres dièdres.
576. En résumé, pour qu'on puisse former un angle trièdre avec trois dièdres donnés A, B, C, il faut que leur somme soit comprise entre deux droits et six droits, et que le plus petit augmenté de deux droits soit supérieur à la somme des deux autres.