theorem Th14: :: SURREALN:14

for i, j being Integer holds (uInt . i) + (uInt . j) == uInt . (i + j)