theorem :: DUALSP03:11

for X being RealNormSpace
for g being sequence of (DualSp X) st g is convergent holds
( g is weakly*-convergent & w*-lim g = lim g )