
theorem
  0 in DYADIC & 1 in DYADIC
proof
  0 in dyadic(0) & 1 in dyadic(0) by URYSOHN1:6;
  hence thesis by URYSOHN1:def 2;
end;
