For all equilateral triangles x, x is an isosceles triangle.
1) forall equilateral triangles x, x is an isosceles triangle.
2) All equilateral triangles are isosceles.
3) Each equilateral triangle is an isosceles triangle.
4) If x is an equilateral triangle, then x is an isosceles triangle.
