Proof of Banach-Alaoglu theorem