Compact Operators Send Weakly Convergent Sequences to Strongly Convergent Sequences