theorem Th36: :: GLIB_003:36
for G being EVGraph
for e, x being set holds the_VLabel_of G = the_VLabel_of (G .labelEdge (e,x))