並べられることは「RからNへの全単射があるとすれば」という
仮定の中に入ってますな。仮定が証明可能である必要があると思ってる？
しかも間違ってるから証明できませんけど。