Theorem

If is a n-dimensional vector space defined over , then is isomorphic to