Addition of natural numbers/proofs

From Free net encyclopedia