Category:Theorems about equilateral triangles