theorem Th56: :: CLVECT_1:56

for V being ComplexLinearSpace
for W1, W2 being Subspace of V holds (0). W1 = (0). W2