theorem Th46: :: SURREALN:46

for d being Dyadic holds
( sReal . d == uDyadic . d & uDyadic . d = uReal . d )