Hahn-Banach Theorem is called the Crown Jewel of Functional Analysis, and has many different versions.
There is a Chinese quote “实变函数学十遍，泛函分析心犯寒”, which means one needs to study real function theory ten times before understanding, and the heart can go cold when studying functional analysis, which shows how deep is this subject.
The following is one version of Hahn-Banach Theorem that I find quite useful:
(Hahn-Banach, Version) If is a normal vector space with linear subspace (not necessarily closed) and if is an element of not in the closure of , then there exists a continuous linear map with for all , , and .
Brief sketch of proof: Define , , and use the Hahn-Banach (Extension version).