{} c= the_Edges_of G by XBOOLE_1:2;
hence [{(choose (the_Vertices_of G))},{} ] is PRIM:Labeling of G by ZFMISC_1:def 2; :: thesis: verum