Hahn-Banach extension theorem

Hahn 1927 / Banach 1929: bounded linear functional on subspace extends to whole Banach space preserving norm. Foundational. Proof via Zorn's lemma. Geometric form via separating hyperplanes.