Proposition 9.4. Assuming that:

$E ∕ K$ be an elliptic curve

Then the reduction mod

π

of any two minimal Weierstrass equations for

E

define isomorphic curves over

k

.