Suppose are vectors in and are subspaces of such that . Prove that .
We add to both sides to get which, since is a subspace it must contain zero implying and (since contains inverses) finally giving .
If you're uncomfortable with adding to both sides feel free to rewrite it in terms of components.