G .set VLabelSelector ,X == G by Lm3;
hence G .set VLabelSelector ,X is non-multi by GLIB_000:92; :: thesis: verum