例 $K \subset L_1, L_2 \subset \bar{K}$ とする。 $[L_1:K]=m,\ [L_2:K] = n$ とし、 $(m,n)=1$ とする。 この時、 $L1$ と $L_2$ は線型無関連である。 ∵) $[L_1 L_2:K] = [L_1 L_2: L_1][L_1:K]$ より $m | [L_1 L_2:K]$ であり、同様に $n | [L_1 L_2:K…