theorem Th13: :: SEQ_2:13

for seq being Real_Sequence st seq is convergent holds
seq is bounded