reconsider W = D as Subset of R^1 by TOPMETR:17;
thus Cl DYADIC = Cl W by TOPREAL6:71
.= [.0,1.] by Lm1, BORSUK_1:40, TOPS_3:55 ; :: thesis: verum