The Hahn-Banach theorem implies the existence of a non-Lebesgue measurable set
Tom 138 / 1991
Fundamenta Mathematicae 138 (1991), 13-19
DOI: 10.4064/fm-138-1-13-19