Cho định lý: ''Nếu n là số tự nhiên thì n^3 - n chia hết cho 3''. Định lý được viết dưới dạng P(n) => Q(n). Xác định P(n) và Q(n)

Cho định lý: ''Nếu n là số tự nhiên thì n^3 - n chia hết cho 3''
Định lý được viết dưới dạng P(n) => Q(n)
a) Xác định P(n) và Q(n)
b) Chứng minh định lý trên