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