Theorem 3.1. Assuming that:

Then E is isomorphic over K to a curve in Weierstrass form via an isomorphism taking 0E to (0:1:0).