Axiom: 1.4: Equality of all Right Angles
(Postulate 4 from Book 1 of Euclid's “Elements”)
And that all right angles are equal to one another.
All right angles are congruent.
Thank you to the contributors under CC BY-SA 4.0!
Adapted from (subject to copyright, with kind permission)
- Fitzpatrick, Richard: Euclid's "Elements of Geometry"