Triangles which are on equal bases and in the same parallels are equal to one another.
Let ABC, DEF be traingles on equal bases BC, EF and in the same parallels, BF,
AD;
I say that the triangle ABC is equal to the triangle DEF.
For let AD be produced in both directions to G, H;
through B let BG be drawn parallel to CA,
and through F let FH be drawn parallel to DE..
Then each of the figures GBCA, DEFH is a parallelogram;
and GBCA is equal to DEFH;
for they are on equal bases BC, EF and in the same parallels BF, GH
Moreover the triangle ABC is half of the parallelogram GBCA; for the diameter
AB bisects it.
And the triangle FED is half of the parallelogram DEFH; for the diameter DF
bisects it.
[But the halves of equal things are equal to one another].
Therefore triangle ABC is equal to the triangle DEF.
Therefore etc.
Q.E.D