theorem :: GLIB_003:34

for G being EGraph
for e, x being set holds G == G .labelEdge (e,x)