Corollary 3.4. Assuming that:

  • E≅E′

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