theorem :: URYSOHN2:27

( 0 in DYADIC & 1 in DYADIC )