Hahn–Banach separation theorem