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