Finitely generated field extensions
Firstly, I encourage you to simply try this with the tower rule ( $[F:K] = [F:M][M:K]$ ). Remember that you can consider the transcendent degree separately. However, if that is insufficient, I direct you to this answer over at MO.
The accepted answer covers this question very nicely, including the cases for transcendence.