take the _trivial edgeless _Graph ; :: thesis: ( the _trivial edgeless _Graph is self-Dcomplementary & the _trivial edgeless _Graph is self-complementary )
thus ( the _trivial edgeless _Graph is self-Dcomplementary & the _trivial edgeless _Graph is self-complementary ) ; :: thesis: verum