>>601
出来ないよ
自分で言ってるじゃん
明らかに、(m+n-1)(m+n-2)/2+m≠2^(m-1)(2n-1)だし、これで>>582の問題が解けるわけがない。
万が一解けるとしても、普通に問題のfが全射・単射の定義を満たしていることを確かめたほうが早いだろう。

N×NとNが対等なことを示すのなら、>>593の関数を使えば、素因数分解の一意性から容易にできる。