theorem Th5: :: URYSOHN1:5

for n being Nat holds dyadic n c= dyadic (n + 1)