take the non _trivial non-multi _Graph ; :: thesis: not the non _trivial non-multi _Graph is Dcomplete
thus not the non _trivial non-multi _Graph is Dcomplete ; :: thesis: verum