theorem Th46: :: CLVECT_1:46

for V, X, Y being ComplexLinearSpace st V is Subspace of X & X is Subspace of Y holds
V is Subspace of Y