Let X be a normed vector space. X' is the dual of X (i.e., the set of all continuous linear functionals on X). We need to prove that X' is a Banach space.