Theorem

Let be a subspace. Then .