KXND

Bijection between natural numbers and pairs of natural numbers