G == G .set (VLabelSelector,X) by GLIB_003:7;
hence not G .set (VLabelSelector,X) is loopless by GLIB_000:89; :: thesis: verum