Find the dimension of $V$ as a vector space over $\mathbb F$ Let $\mathbb F$ be a subfield of a field $\mathbb K$ satisfying  the condition that the dimension of $\mathbb K$ as a vector space over $\mathbb F$ is finite and equal to $r$. Let $V$ be a vector space of finite dimension $n>0$ over $\mathbb K$. Find the dimension of $V$ as a vector space over $\mathbb F$.
I am not sure how to even approach this problem. Looking around online I found $\dim_{\mathbb F}(V)=\dim_{\mathbb F}(\mathbb K)\dim_{\mathbb K}(V)$ for a field extension $\mathbb K/\mathbb F$. Where does this come from?

Well you gave the answer yourself. The reason that equation is true is as follows. Suppose $\{k_1,\dots,k_r\}$ is a basis for $K$ over $F$, and $\{v_1,\dots,v_n\}$ is a basis for $V$ over $K$. Then it suffices to show $\{k_iv_j : 1 \le i \le r, 1 \le j \le n\}$ is a basis for $V$ over $F$. But this is just unfolding definitions and is left as an exercise to you.
