:: deftheorem defines TriangleGraph SGRAPH1:def 14 :
TriangleGraph = K_ 3;