G .set ELabelSelector ,X == G by Lm3;
hence G .set ELabelSelector ,X is connected by GLIB_002:8; :: thesis: verum