Theorems about equilateral triangles