theorem Th23: :: METRIC_6:23

for X being non empty MetrSpace
for S being sequence of X st S is constant holds
S is convergent