Let V be a finite-dimensional vector space over a field F and W be a subspace
of V. Then show that W is finite-dimensional,
dimW ≤ dim V and dim V/W = dim V – dim W.