theorem
  m is odd & m <= n implies W.cut(1,n).cut(1,m) = W.cut(1,m) by Lm20;
