y3) are the vertices of triangle ABC