theorem :: GLIB_003:40

for G being VGraph
for v, x being set holds G == G .labelVertex (v,x)