Como formula_138 entonces 5 tiene un inverso módulo formula_139.