theorem
  Free FALSUM(A) = {} by Th40;
