theorem
  Free(All(x,p)) = Free(p) by Th44;
