theorem :: CLVECT_1:60

for V being strict ComplexLinearSpace holds V is Subspace of (Omega). V ;