theorem Th1: :: SURREALC:1

for r being Real holds uReal . r in Day omega