Theorem 4.4. Elliptic curves are group varieties, i.e. $[-1]:E\to E$; $P\mapsto \ominus P$ and $\oplus :E\times E\to E$; $(P,Q)\mapsto P\oplus Q$ are morphisms of algebraic varieties.