take the removeEdges of the _Graph,(the_Edges_of the _Graph) ; :: thesis: the removeEdges of the _Graph,(the_Edges_of the _Graph) is edgeless
thus the removeEdges of the _Graph,(the_Edges_of the _Graph) is edgeless ; :: thesis: verum