Morley's theorem asserts that the points of intersection of the adjacent angle trisectors of the angles of an arbitrary triangle ABC are the vertices of an equilateral triangle DEF. That triangle is known as the first Morley triangle. The points of intersection of the adjacent outer angle trisectors are the vertices of another equilateral triangle.