Lemma 4.5. Assuming that:

  • charK2

  • E: y2=f(x)=(xe1)(xe2)(xe3), e1,e2,e3K¯

Then E[2]={0E,(e1,0),(e2,0),(e3,0)}(2)2.