formula_8 tiene un inverso aditivo formula_17 tal que formula_18