Sehie Park 2022. KKM implies Hahn-Banach. Results in Nonlinear Analysis. 2, 1 (Nov. 2022), 7–17.