= Tower law For finite extensions $K\subseteq L\subseteq M$, $$ [M:K]=[M:L][L:K]. $$
Back to article page