Chứng minh rằng với mọi số nguyên dương `n ≥ 2`, luôn tồn tại số nguyên `x` sao cho `x^2 + 2017` chia hết cho `3^n` nhưng không chia hết cho `3^(n+1)`.