>>619
選択公理を仮定すれば成り立つ。