Let If for all then for all Therefore Since it follows that So which implies that

For (4), I think you need to show that every element of with only finitely many nonzero coordinates is in the range of It follows that is unchanged if finitely many coordinates of are changed. Now suppose that as Given we can assume (by changing finitely many coordinates of ) that for all n. It will then follow from (3) that Now let to conclude that