たしか選択公理までは必要なくRが整列できればよかったと思う
どちらにせよ具体的にはならないけど