Banach–Alaoglu_theorem loading ...