theorem
  varcl vars e = vars e;
