Triangles which are on equal bases and in the same parallels are equal to one another.
lines 74–74 in main.tex