Redirecting to Banach–Alaoglu theorem