Linear Algebra/Vector spaces

Proposition (complex vector space is real vector space):

Let $V$ be a vector space over $\mathbb {C}$. Then $V$ has a vector space structure

Proposition ():

Let $V$ be a vector space over $\mathbb {C}$, and let $W\leq V$ be a vector subspace. Then