Now suppose that is a convergent sequence in C+Fx, with . (We want to show that .) Then as . Deduce from the continuity of that is Cauchy in F, hence converges to say (presumably the scalar field F is meant to be complete). It then follows that say, as . But C is closed, so it follows that . Finally, , so as required.