for G being EVGraph
for v, x being set holds G .labeledE() = (G .labelVertex (v,x)) .labeledE() by Th42;