let G2 be DGraphComplement of G; :: thesis: G2 is complete
( the_Edges_of G = {} & G .loops() = {} ) ;
hence G2 is complete by Th92; :: thesis: verum