Theorem 4.1. $(E,\oplus )$ is an abelian group.