THere is a proof that integers can be constructed from the natural numbers
by identifying Z witht he quotient set NxN/~.
Can anyone help with this proof??