Page "Banach–Alaoglu theorem" not found :(