theorem :: DUALSP03:13

for X being RealNormSpace
for f being sequence of (DualSp X) st X is Reflexive holds
( f is weakly-convergent iff f is weakly*-convergent )