Considere a função f: Z → Z definida por f(x) = 3x − 1.