theorem Th60: :: CHORD:61

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