Redirecting to Banach-Alaoglu theorem