Theorem 9.8. Assuming that:

$[K : ℚ_{p}] < \infty$
$E ∕ K$ has good reduction
$p ∤ n$
$P \in E (K)$

Then

K ({[n]}^{- 1} P) ∕ K

is unramified.