MABN : MAB G :: M AN : M AG

Donc la proposition première est démontrée par le cas où les angles MAN, MA G, ont une commune mesure. Quand ces angles n’ont pas de commune mesure , on peut , au moyen du raisonnement connu, faire voir que la proposition première est encore vraie; donc, dans tous les cas, l’angle dièdre est mesuré par l’angle des perpendiculaires.