Ta có: a chia cho 3 dư 1 ⇒ a=3q+1 (q∈ N)
b chia cho 3 dư 2 ⇒ b=3k+2 (k∈ N)
ab=(3q+1)(3k+2) = 9qk+6q+3k+2
Vì 9 chia hết cho 3 ⇒ 9qk chia hết cho 3
6 chia hết cho 3 ⇒ 6q chia hết cho 3
3 chia hết cho 3 ⇒ 3k chia hết cho 3
Vậy a.b=9qk+6q+3k+2=3(3qk+2q+k)+2 chia cho 3 dư 2.