Banach-Alaoglu_theorem loading ...