z_0= x+x_0 => z_0 \in E+E