theorem Th23: :: CLVECT_1:23

for V being ComplexLinearSpace holds {(0. V)} is linearly-closed