Let , be Normed Spaces with Complete.
Then is Complete.

Proof

Given , a Cauchy Sequence in :
Have Cauchy in for all - since so for some .
is linear by linearity of and taking pointwise limits.
bounded: Given , for all for some .
so
Let :
Hence

Note that for all so . (???)