Hahn-Banach Separation Theorem/Normed Vector Space

Also known as
These theorems are sometimes known as the geometric Hahn-Banach theorems.