theorem Th75: :: CLVECT_2:75

for X being ComplexUnitarySpace
for seq being sequence of X st seq is bounded holds
- seq is bounded