Sehie Park. KKM Implies Hahn-Banach. Results in Nonlinear Analysis 2022, 2, 7-17.