TH1: n chia 3 dư 1
=> n2 chia 3 dư 12
=> n2 chia 3 dư 1
Mà 2 chia 3 dư 2
=> n2 + 2 chia hết cho 3
TH2: n chia 3 dư 2
=> n2 chia 3 dư 22
=> n2 chia 3 dư 4
=> n2 chia 3 dư 1
Mà 2 chia 3 dư 2
=> n2 + 2 chia hết cho 3
Vậy n2+2 chia hết cho 3 với mọi n không chia hết cho 3