Hahn–Banach theorem.
Hahn–Banach θεώρημα.