theorem :: GLIB_003:56

for G being EVGraph
for e, x being set holds G .labeledV() = (G .labelEdge (e,x)) .labeledV() by Th36;