theorem :: CLVECT_1:118

for CNS being ComplexNormSpace
for g being Point of CNS
for S being sequence of CNS st S is convergent & lim S = g holds
( ||.(S - g).|| is convergent & lim ||.(S - g).|| = 0 )