theorem Th19: :: SURREALN:19

for n, m being Nat st n <= m holds
DYADIC n c= DYADIC m