{} c= the_Edges_of G ;
hence [{ the Element of the_Vertices_of G},{}] is PRIM:Labeling of G by ZFMISC_1:def 2; :: thesis: verum