theorem :: URYSOHN2:28

DYADIC c= [.0,1.]