Tower law for field extensions

For finite extensions $K\subseteq E\subseteq L$, the degrees multiply: $[L:K]=[L:E][E:K]$.