N={1,2,…}
N×NからNへの全単射があることを示したいのなら、>>593の関数をとればいい。
素因数分解の一意性から容易に言える。

>>582が全単射であることを示したいのなら、定義に基づいて粛々とやればいい。