There exists an element NUMBER@1 in R , such that for all elements a in R , the equation NUMBER@1 + a = a + NUMBER@1 = a holds .

For each a in R , there exists an element - a in R such that a + -LRB- - a -RRB- = NUMBER@1 , where NUMBER@1 is the additive identity element .
