For , let . The three points lie on the horizontal line through , so their sum is zero. Thus
in the endomorphism ring of an elliptic curve. Since and complex conjugation sends to , degree on is the Eisenstein-integer norm:
A separable isogeny is determined by its kernel up to unique isomorphism of its target, and every finite Galois-stable subgroup of an elliptic curve is the kernel of the corresponding quotient isogeny. Put . The three nonzero points of are , and
Hence kills and factors uniquely through :
for an isogeny . Degrees give
Moreover,
Composing the factorization twice and using the surjectivity of gives .