theorem Th45: :: CLVECT_1:45

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