만일 W가 어느 n차원공간의 부분공간이라면 그것은 W가 유한원을 가지며 W 의 차원은 n보다 작거나 같다는 것을 나타낼 수 있다.
If W is a subspace of an n-dimensional vector space, then it can be shown that W is finite dimensional and the dimension of W is less than or equal to n.