_GraphSelectors c= dom G by GLIB_000:2;
hence G | _GraphSelectors is plain by RELAT_1:62; :: thesis: verum