theorem Th48: :: SURREALN:48

uReal . 1 = 1_No