Sehie Park. “KKM Implies Hahn-Banach”. Results in Nonlinear Analysis, vol. 2, no. 1, Nov. 2022, pp. 7-17, https://nonlinear-analysis.com/index.php/pub/article/view/20.