theorem
  W.remove(m,m) = W by Lm27;
