Alaoglu's theorem