Napoleon's theorem (inward equilateral triangles)