Proposition 14.2. Assuming that:

  • ϕ:E→E′ an isogeny of degree n

Then there exists a unique isogeny ϕ^:E′→E such that ϕ^ϕ=[n].