Hahn-Banach theorem (source code)

= Hahn-Banach theorem
{c}
{wiki=Hahn–Banach_theorem}

Every bounded linear functional on a linear subspace of a real normed space extends to the whole space without increasing its norm.