Banach-Alaoglu Theorem