G .set (VLabelSelector,X) == G by GLIB_003:7;
hence not G .set (VLabelSelector,X) is edgeless by Th52; :: thesis: verum