Tower law (source code)

= Tower law

For finite extensions $K\subseteq L\subseteq M$,
$$
[M:K]=[M:L][L:K].
$$