52.10 한-하움버거 정리(Hahn-Banach Theorem)와 함수 해석학적 기초