Proposition 5.1. Assuming that:

  • 0n

Then [n]:EE is an isogeny.