theorem :: URYSOHN1:3

dyadic 1 = {0,(1 / 2),1}