theorem Th24: :: SURREALN:24

for d1, d2 being Dyadic holds
( d1 < d2 iff uDyadic . d1 < uDyadic . d2 )