まあ、自然数を第一象限に斜めに並べたら、どの斜線の上に乗るか、斜線の端点から数えて何番目かが一意的に決まるってこと
だから、>>608でいいんじゃねえの?