theorem Th112: :: GLIB_012:112

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