formula_7 tiene un inverso aditivo formula_39 tal que formula_64