>>114
はいはい選択公理