Existência de elemento simétrico para a adição de vetores