Bổ đề: Với a∈Z thì a3−a chia hết cho 6
Thật vậy, ta có: a3−a=(a−1)a(a+1), đây là tích của 3 số nguyên liên tiếp.
Trong 3 số nguyên liên tiếp, tồn tại ít nhất 1 số chẵn và tồn tại 1 số chia hết cho 3, nên tích 3 số nguyên liên tiếp luôn chia hết cho 6.
Vậy a3−a chia hết cho 6 với mọi a∈Z
Đặt S=x1+x2+…+x1995.
Áp dụng bổ đề ta có: P−S chia hết cho 6.
Mà S chia hết cho 6 ⇒P chia hết cho 6.