Let $F$ denote a field and let $V$ denote a vector space over $F$ with finite
positive dimension.
Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite
positive dimension.
Let $\K$ denote a field and let $V$ denote a vector space over $\K$ with
finite positive dimension.
Let $F$ denote a field and let $V$ denote a vector space over $F$ with finite
positive dimension.