3.3 Theorem Suppose M is a subspace of a vector space X,p is a seminorm on X, and f is a linear functional on M such that f(x)p(x)(xM). Thenf extends to a linear functional on X that satisfies xp(x)(xX)