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