Cho đa thức f(x) khác hằng với các hệ số nguyên thỏa mãn: f(3) * f(4) = f(7). Chứng minh f(x) - 12 không có nghiệm nguyên.