Source — Euclid's Elements, encoded as an rrxiv paper

I.4 Proposition I.4

If two triangles have two sides equal to two sides respectively, and have the angles contained by the equal straight lines equal, then they will also have the base equal to the base, the triangle will be equal to the triangle, and the remaining angles will be equal to the remaining angles respectively.

lines 74–74 in main.tex