Proposition I-1. On a finite straight line, to constuct an equilateral triangle.
Proof.
LoopStep ForwardStep BackwardStop Loop

Begin with the two parallelograms ABCD and EBCF between two parallels.

The first step of the proof is to establish that the triangles ABE and DCH are congruent.

.