theorem
  Free VERUM(A) = {} by Lm2;
