set G2 = G .set (VLabelSelector,X);
the_Weight_of (G .set (VLabelSelector,X)) = the_Weight_of G by GLIB_000:9;
hence G .set (VLabelSelector,X) is real-weighted ; :: thesis: verum