theorem
  n in dom W.edgeSeq() iff 2*n in dom W by Lm41;
