Proof of bijectivity (onto and one-one) of cantor-pairing function, hl-nat-combine.
Merge pull request #321 from harshrc/master

hl-nat-combine is surjective (onto)