theorem Th60: :: CHORD:61

for G being _Graph st G is _trivial holds
G is complete