>>737
オレは自力でやったから他の証明など見てないが
選択公理から導くとか整列可能定理から導くように考えるだけだぜ