theorem Th55: :: CLVECT_1:55

for V being ComplexLinearSpace
for W being Subspace of V holds (0). W = (0). V