選択公理を仮定すると存在が示せない。