>>240の3つめって選択公理は必要なの?