Linear Algebra/Vector spaces

Proposition (complex vector space is real vector space):

Let $V$ be a vector space over $ℂ$. Then $V$ has a vector space structure

Proposition ():

Let $V$ be a vector space over $ℂ$, and let $W\le V$ be a vector subspace. Then