theorem Th44: :: CLVECT_1:44

for V being ComplexLinearSpace holds V is Subspace of V