G .componentSet() is a_partition of the_Vertices_of G by GLIB_008:23;
hence G .componentSet() is mutually-disjoint ; :: thesis: verum