theorem Th47: :: SURREALN:47

uReal . 0 = 0_No