theorem WEAKLM1: :: DUALSP03:8

for X being RealNormSpace
for x being sequence of X st rng x c= {(0. X)} holds
x is weakly-convergent