theorem Th2:
  Cl DYADIC = [. 0,1 .]
  proof
    reconsider W = D as Subset of R^1 by TOPMETR:17;
    thus Cl DYADIC = Cl W by JORDAN5A:24
    .= [. 0,1 .] by Lm1,BORSUK_1:40,TOPS_3:55;
  end;
