theorem Th36: :: SURREALN:36

for d being Dyadic ex n being Nat st uDyadic . d in Day n