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