theorem Th6: :: URYSOHN1:6

for n being Nat holds
( 0 in dyadic n & 1 in dyadic n )