reserve X for set;

theorem
  (the carrier of TriangleGraph)=(Seg 3) &
    (the SEdges of TriangleGraph) = {.{.1,2.},{.2,3.},{.3,1.}.} by Th34;
