Explanation: 1.4: Congruent Figures
(related to Subsection: Common Notions (all Books))
(Common Notion 4 from Book 1 of Euclid's “Elements”)
And things coinciding with one another are equal to one another.
Modern Formulation
see congruence.
Thank you to the contributors under CC BY-SA 4.0! 
- Github:
-
