G .set WeightSelector ,X == G by Lm3;
hence G .set WeightSelector ,X is acyclic by GLIB_002:44; :: thesis: verum