theorem Th18: :: TBSP_1:18

for N being non empty MetrStruct holds
( N is bounded iff [#] N is bounded )