prove that an equilateral triangle can be constructed from any given line segment