theorem Th13: :: SURREALN:13

for n, m being Nat holds (uInt . n) + (uInt . m) = uInt . (n + m)