Le tout est plus grand que sa partie.
Tous les angles droicts sont egaux entr'eux.

De ce principe, nous pouvons convertir et prendre pour maxime, que tout angle rectiligne egal à un angle droict, est aussi droict.