Banach-Alaoglu Theorem

Theorem
The closed unit ball of the dual of a normed space is compact with respect to the weak* topology.