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