>>695
選択公理を前提としたとき選択関数を固定できることは理解できた?