Existência do elemento neutro da adição