theorem Th3: :: SURREALN:3

for i, j being Integer st i < j holds
uInt . i < uInt . j