set G = the Element of S;
the_Edges_of the Element of S in the_Edges_of S ;
hence not the_Edges_of S is empty ; :: thesis: verum