If a parallelogram have the same base with a triangle and be in the same parallels, the parallelogram is double of the triangle.
lines 74–74 in main.tex