theorem Th15:
  X in UniCl D
  proof
    D c= D;
    then union D in the set of all union P where P is Subset of D;
    then X in the set of all union P where P is Subset of D by EQREL_1:def 4;
    hence thesis by Th14;
  end;
