Weierstrass construction from Riemann-Roch in genus one

Let $E$ be a genus one curve and choose $O\in E$. Since a canonical divisor is linearly equivalent to zero, Riemann--Roch gives $\ell (nO)=n$ for $n\ge 1$. Choose $x\in L(2O)\setminus L(O)$ and $y\in L(3O)\setminus L(2O)$. Their pole orders at $O$ are two and three. The seven functionsare linearly dependent because $\ell (6O)=6$, and comparison of pole orders puts the relation in Weierstrass form. The complete linear system $|3O|$ is very ample and realizes this relation as a smooth plane cubic. In characteristic other than two and three, completing the square and translating $x$ produce a Short Weierstrass form.