theorem :: CLVECT_1:58

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