G .set (WeightSelector,X) == G by Lm3;
hence G .set (WeightSelector,X) is non-Dmulti by GLIB_000:89; :: thesis: verum