G .set (VLabelSelector,X) == G by Lm3;
hence not G .set (VLabelSelector,X) is _trivial by GLIB_000:89; :: thesis: verum