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 ; :: thesis: verum