Extension with larger norm and separation with double support in normed linear spaces

We prove, in normed linear spaces, the existence of extensions of continuous linear functionals from linear subspaces to the whole space, with arbitrarily prescribed larger norm. Also, we prove that under an additional boundedness assumption, in the known separation theorems for convex sets, there exist hyperplanes which separate and support both sets.