theorem Th58: :: SURREALN:58

for n being Nat st n > 0 holds
(uInt . n) " == uReal . (1 / n)