theorem Th91: :: GLIB_012:91

for G1 being _Graph
for G2 being DGraphComplement of G1 holds
( G1 is _trivial iff G2 is _trivial )