theorem Th2: :: URYSOHN1:2

dyadic 0 = {0,1}