theorem :: SURREALN:8

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