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.