Verificando se um conjunto V com uma "adição" é um espaço vetorial.