Bourbaki–Alaoglu theorem