theorem
  UniCl D is SigmaField of X;
