theorem Th53: :: GLIB_010:53

for G being _Graph holds
( G is G -Disomorphic & G is G -isomorphic )