* Xét n lẻ :
=> n + 3 là số chẵn ; n + 6 là số lẻ
Mả chẵn . lẻ = chẵn
=> (n + 3)(n + 6) là số chẵn hay $(n+3)(n+6)\vdots 2$
* Xét n chẵn :
=> n + 3 là số lẻ ; n + 6 là số chẵn
Tương tự ta cũng có lẻ . chẵn = chẵn
=> (n + 3)(n + 6) là số chẵn hay $(n+3)(n+6)\vdots 2$
Kết luận : $(n+3)(n+6)\vdots 2$ với mọi n là số tự nhiên.