for X being RealBanachSpace
for x being sequence of X st X is Reflexive & ||.x.|| is bounded holds
ex x0 being sequence of X st
( x0 is subsequence of x & x0 is weakly-convergent )