theorem Th12: :: SURREALN:12

for i being Integer holds - (uInt . i) = uInt . (- i)