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

I.40 Proposition I.40

Equal triangles which are on equal bases and on the same side are also in the same parallels.

lines 74–74 in main.tex