>>627 タイポ訂正

すでに、>>610で 「選択公理」と 整列可能定理でしました
  ↓
すでに、>>610で 「選択公理」と 整列可能定理でしめした