theorem Th27: :: SURREALN:27

for d being Dyadic holds uDyadic . (- d) = - (uDyadic . d)