Exercise 4.3 - Inscribed equilateral triangle

Given a circle, but not given its center, construct an inscribed equilateral triangle in as few steps as possible (par = 7). 2 circles + 5 lines = 7 steps.
The triangles ABD and ABC are equilateral, hence the angle ABE is 120°. The angle ADF is 120°, too, since ADB is 60°. Moreover the angles AFB and AEF are congruent, since they insist on the same arc. Finally AD is congruent to AB, so the triangles ADF and AEB are congruent, so AE is congruent to AF. By construction the angle FBE is 60°, so also EAF is 60°, since they insist upon the same arc. So alsi the angles AEF and AFE are 60°