Proposition 14.2.
Assuming that:
ϕ
:
E
→
E
′
an
isogeny
of degree
n
Then
there exists a unique
isogeny
ϕ
^
:
E
′
→
E
such that
ϕ
^
ϕ
=
[
n
]
.