Corollary 3.4. Assuming that:

  • EE

Then j(E)=j(E). Moreover, the converse holds if K=K¯.