theorem Th29: :: SURREALN:29

for d being Dyadic holds
( 0 <= d iff 0_No <= uDyadic . d )