
theorem
  for G being _Graph, X being set holds G == G.set(WeightSelector, X) &
  G == G.set(ELabelSelector, X) & G == G.set(VLabelSelector, X) by Lm3;
