Redirecting to Hahn–Banach theorem