Deducing Properties of Equilateral Triangles