Procedimento de decisão para aritmética linear sem quantificadores
