theorem Th26: :: CFCONT_1:26

for seq being Complex_Sequence st seq is constant holds
seq is convergent