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