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