theorem :: CLVECT_1:51

for V being strict ComplexLinearSpace
for W being strict Subspace of V st the carrier of W = the carrier of V holds
W = V