Existência de elemento neutro para a adição de vetores