選択公理は必要ない。もっと弱いものでいい。