theorem Th15: :: SURREALN:15

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