Let be a field of characteristic not 2, and let be an -dimensional vector space over . Recall that in this case, we can realize and as subspaces of . Prove that .
Recall that .
Suppose . Then we have . Expanding these, we see that , so that , so that . That is, and intersect trivially.
Counting dimensions, recall that and .