選択公理は取り出し方がわからないときでも必ず取り出せるってことが保証されているということですか？