theorem Th6: :: BHSP_2:6

for X being RealUnitarySpace
for seq being sequence of X st seq is convergent holds
- seq is convergent