Proposition 1: To construct an equilateral triangle on a given finite straight line.