Corollary 14.6.
Assuming that:
E
[
n
]
⊂
E
(
K
)
Then
μ
n
⊂
K
.