Euclid
PI.1Construct anequilateral triangleon a given linePI.2Transfer a linesegment to a givenpointPI.3Cut off from thegreater a line equalto the lessTI.4SAS congruenceTI.5Base angles of anisosceles triangleare equalTI.6Converse: equal baseangles implyisoscelesTI.7Uniqueness oftriangleconstruction from aTI.8SSS congruence