theorem Th30: :: SURREALN:30

for d being Dyadic holds uDyadic . d in born_eq_set (uDyadic . d)