theorem :: CLVECT_1:94

for V being ComplexLinearSpace holds the carrier of V is Coset of (Omega). V