theorem Th28: :: METRIC_6:28

for X being non empty MetrSpace
for S being sequence of X st S is Cauchy holds
S is bounded