Let $M$ be a finite extension of $E$ and let $E$ be a finite extension of $F$. Then $M$ is a finite extension of $F$ and $[M:F] = [M:E][E:F]$.
Is there an easy explanation and/or proof for this theorem? My instructor gave an incomplete proof in class but got stuck and I'm kind of confused of what's going on.