Theorem 5.3. Assuming that:

$ϕ : E_{1} \to E_{2}$ an isogeny

Then

ϕ (P + Q) = ϕ (P) + ϕ (Q)

for all

P, Q \in E_{1}

.