theorem Th11: :: SURREALN:11

uInt . 1 = 1_No