theorem
  W.cut(1,n).edgeSeq() c= W.edgeSeq() by Lm43;
