Sehie Park, “KKM implies Hahn-Banach”, Results in Nonlinear Analysis, vol. 2, no. 1, pp. 7–17, Nov. 2022.