(彼の人はまだ可算選択公理を誤解してるね)