Banach%E2%80%93Alaoglu theorem#Relation to the Hahn–Banach theorem