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