the_Edges_of G1 = the_Edges_of G2 by GLIB_007:4;
hence G2 .set (WeightSelector,(the_Weight_of G1)) is [Weighted] ; :: thesis: verum