Let $k_1 \subseteq k'_1$ and $k_2 \subseteq k_2'$ be field extensions. Suppose there is a field isomorphism $\phi: k'_1 \to k'_2$ where $\phi(k_1)=k_2$. Show that $[k_1':k_1]=[k'_2:k_2]$.
Now my first instinct was to try and show $k_1'$ is isomorphic to $k'_2$ as vector spaces but this is nonsense since the base fields aren't equal.
Therefore I want to somehow show that $k_1=k_2$ but I am not really sure this is even true.
I can't seem to understand why this ought to be true.