Resolução de inequações com módulos