theorem :: CLVECT_1:91

for V being ComplexLinearSpace
for v being VECTOR of V holds {v} is Coset of (0). V