previous up next
Go backward to Difference
Go up to Top
Go forward to Integer Numbers
RISC-Linz logo

Proof (Continued)

(*) We show -y+y = 0:

-y+y = (definition of -)
<y1, y0>+y = (definition of +)
I(y1 +N y0, y0 +N y1) = (definition of I, computation in N)
<0N, 0N> = (definition of 0)
0.

Author: Wolfgang Schreiner
Last Modification: November 16, 1999

previous up next