Proof.
We can show

is weakly closed. Suppose

converges weakly. We will find a subsequence

such that

.
Let
. By assumption the limit
is finite, so that we can deteremine
 |
(2.19) |
where

because the open mapping
theorem applies once we realize the trivial kernel makes

a surjection.
This means the sequence is uniformly bounded, so
by the compactness of

, select a subsequence

.
Now it remains to prove that
 |
(2.20) |
We will need
The first limit equals zero since

, leaving us with
 |
(2.24) |
This inequality proves that this limit equals zero since

.
Therefore,
 |
(2.25) |
See Lemma 7.3.1 of [4] for a proof that does not suppose
.