theorem Th20: :: BHSP_2:20

for X being RealUnitarySpace
for seq being sequence of X st seq is convergent holds
||.seq.|| is convergent